PLT-1398 Set up typechecking property tests for all PIR compiler passes #2003
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: Pre Commit Check | |
| on: | |
| pull_request: | |
| types: | |
| - opened | |
| - synchronize | |
| jobs: | |
| pre-commit-check: | |
| runs-on: [ubuntu-latest] | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v4 | |
| - name: Quick Install Nix | |
| uses: nixbuild/nix-quick-install-action@v25 | |
| with: | |
| # 2.14.1 seems to have issues, see https://github.com/nixbuild/nix-quick-install-action/issues/29 | |
| nix_version: '2.13.3' | |
| nix_conf: | | |
| experimental-features = nix-command flakes | |
| accept-flake-config = true | |
| - name: Run | |
| run: nix build .#pre-commit-check |