Cli Entrypoints and execution time recording #9
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: CI | |
| on: | |
| push: | |
| branches: [ main ] | |
| pull_request: | |
| branches: [ main ] | |
| jobs: | |
| build: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout repository | |
| uses: actions/checkout@v2 | |
| - name: Set up Nix | |
| uses: cachix/install-nix-action@v14 | |
| with: | |
| extra_nix_config: | | |
| experimental-features = nix-command flakes | |
| - name: Run Nix development shell | |
| run: nix develop --command just format-nix | |
| - name: Format Python code with Black | |
| run: nix develop --command just format-python | |
| - name: Check Python code with Ruff | |
| run: nix develop --command just check-ruff | |
| - name: Check Python code with Mypy | |
| run: nix develop --command just check-mypy | |
| - name: Run tests | |
| run: nix develop --command just test | |
| - name: Run flake checks (optional) | |
| run: nix develop --command just flake-check | |
| continue-on-error: true | |
| - name: Run developer tests | |
| if: github.event_name == 'push' && github.event.head_commit.message == 'run dev tests' | |
| run: nix develop --command just test-dev |