0024: fn lands and the modes finally disagree — defn fib runs on both… #90
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: | |
| # CI runs exactly what a developer runs: `bb check`. There is no CI-only | |
| # checklist to drift out of sync with the local gate. | |
| jobs: | |
| check: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v5 | |
| - uses: DeterminateSystems/nix-installer-action@main | |
| # No third-party Nix cache. This toolchain restores from cache.nixos.org | |
| # in well under a minute, and the popular cache actions now require an | |
| # account. Add one only if the run time starts to hurt. | |
| - run: nix develop --command bb check |