docs: remove all .claude/ path references from tracked files #8
This file contains hidden or 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: | |
| env: | |
| CARGO_TERM_COLOR: always | |
| # opt into Node.js 24 for actions before the June 16 2026 forced migration | |
| FORCE_JAVASCRIPT_ACTIONS_TO_NODE24: true | |
| # RUSTFLAGS is set per-job; an empty global RUSTFLAGS passes a literal "" | |
| # argument to kani-compiler and causes "multiple input filenames" crashes. | |
| jobs: | |
| test: | |
| name: test + clippy | |
| runs-on: ubuntu-latest | |
| env: | |
| RUSTFLAGS: "-D warnings" | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: install nix | |
| uses: cachix/install-nix-action@v27 | |
| with: | |
| nix_path: nixpkgs=channel:nixos-unstable | |
| - name: cache nix store | |
| uses: actions/cache@v4 | |
| with: | |
| path: /nix/store | |
| key: nix-${{ runner.os }}-${{ hashFiles('flake.nix', 'flake.lock') }} | |
| restore-keys: | | |
| nix-${{ runner.os }}- | |
| - name: clippy (deny warnings) | |
| run: nix develop --command cargo clippy --all-targets --all-features -- -D warnings | |
| - name: unit + integration tests | |
| run: nix develop --command cargo test | |
| - name: doc tests | |
| run: nix develop --command cargo test --doc | |
| kani: | |
| name: kani proofs | |
| runs-on: ubuntu-latest | |
| # Kani manages its own toolchain; do not use nix here. | |
| # The official action installs kani-verifier and the required nightly. | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: remove toolchain override for kani | |
| # rust-toolchain.toml pins nightly-2025-12-03 for local nix dev, | |
| # but kani-github-action manages its own nightly. the file causes a | |
| # version mismatch that crashes kani-compiler with "multiple input | |
| # filenames" -- remove it so kani can use its own toolchain freely. | |
| run: rm -f rust-toolchain.toml | |
| - name: run kani proofs | |
| uses: model-checking/kani-github-action@v1 | |
| with: | |
| # --harness accepts a regex; this matches all proofs:: harnesses | |
| args: "--harness proofs::" | |
| bench-check: | |
| name: benchmarks compile | |
| runs-on: ubuntu-latest | |
| env: | |
| RUSTFLAGS: "-D warnings" | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: install nix | |
| uses: cachix/install-nix-action@v27 | |
| with: | |
| nix_path: nixpkgs=channel:nixos-unstable | |
| - name: check benchmarks compile | |
| run: nix develop --command cargo bench --no-run |