Finite invariants #774
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: | |
| env: | |
| CARGO_TERM_COLOR: always | |
| ## Incremental builds only slow things down in CI. | |
| CARGO_INCREMENTAL: 0 | |
| RUST_BACKTRACE: full | |
| TEST_STRICT_VERSIONS: true | |
| jobs: | |
| build: | |
| name: Build and test | |
| runs-on: ${{ matrix.os }} | |
| strategy: | |
| matrix: | |
| toolchain: | |
| - stable | |
| - nightly | |
| os: | |
| - ubuntu-latest | |
| # disabled since we aren't typically making OS-specific changes | |
| # - macos-latest | |
| fail-fast: false | |
| steps: | |
| - uses: actions/checkout@v3 | |
| - name: Set up cache | |
| uses: actions/cache@v3 | |
| continue-on-error: false | |
| with: | |
| path: | | |
| ~/.cargo/bin/ | |
| ~/.cargo/registry/index/ | |
| ~/.cargo/registry/cache/ | |
| ~/.cargo/git/db/ | |
| target/ | |
| solvers/ | |
| key: ${{ runner.os }}-${{matrix.toolchain}}-cargo-${{ hashFiles('**/Cargo.lock','tools/solver-versions.sh') }} | |
| restore-keys: ${{ runner.os }}-${{matrix.toolchain}}-cargo- | |
| - name: Download solvers | |
| run: | | |
| ./tools/download-solvers.sh | |
| - name: Check solver versions | |
| run: | | |
| ./solvers/z3 --version | |
| ./solvers/cvc5 --version | head -1 | |
| ./solvers/cvc4 --version | head -1 | |
| - name: Install toolchain ${{ matrix.toolchain }} | |
| run: | | |
| rustup set auto-self-update disable | |
| rustup toolchain install ${{ matrix.toolchain }} --profile minimal | |
| - name: CI checks | |
| run: ./tools/ci-check.sh --ci | |
| - name: Install license-header-checker | |
| run: | | |
| curl -s https://raw.githubusercontent.com/lluissm/license-header-checker/master/install.sh | bash -s -- -b ./bin | |
| echo "$PWD/bin" >> $GITHUB_PATH | |
| - name: Run license check | |
| run: | | |
| ./tools/ci-license-header-check.sh |