fix(bug-zoo): determinism species harness targets go 1.22 not 1.23 #4751
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: ProvekIt | |
| on: | |
| push: | |
| pull_request: | |
| jobs: | |
| prove: | |
| # [self-hosted, Linux, X64] not bare `self-hosted`: otherwise the | |
| # macOS runner registered for #305 will pick up this Linux-only job | |
| # (apt-get) and fail. | |
| runs-on: [self-hosted, Linux, X64] | |
| steps: | |
| - uses: actions/checkout@v6 | |
| - uses: actions/setup-node@v6 | |
| with: | |
| node-version: 20 | |
| - name: Install Z3 | |
| run: sudo apt-get update && sudo apt-get install -y z3 | |
| - name: Install pnpm | |
| run: npm install -g pnpm | |
| - name: Install dependencies | |
| run: pnpm install | |
| - name: Run tests | |
| run: pnpm test | |
| - name: ProvekIt verify | |
| run: npx provekit verify --ci |