Skip to content

add batch operations to database api #34

add batch operations to database api

add batch operations to database api #34

Workflow file for this run

name: ci
on:
workflow_dispatch:
pull_request:
push:
branches:
- main
permissions:
contents: read
id-token: write
concurrency:
group: ${{ github.workflow }}-${{ github.ref_name }}-${{ github.event.pull_request.number || github.sha }}
cancel-in-progress: true
jobs:
ci:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: astral-sh/setup-uv@v6
with:
enable-cache: true
- run: uv lock --check
- run: uv sync --locked --all-extras --dev
- run: uv run ty check
- run: uv run ruff check
- run: uv run ruff format --check
- run: uv run mdformat --check docs/
- run: uv run mkdocs build --strict
- name: check mkdocs build matches docstrings
run: git diff --exit-code site/
- run: uv run pytest
- name: benchmark
uses: CodSpeedHQ/action@v4.4.1
with:
mode: simulation
run: uv run pytest tests/bench_sapling.py --codspeed