build.yml

name: CI

on:
  push:
    branches:
      - "main"
  pull_request:
  ## support for merge queues
  merge_group:

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@v4
      - name: Set up cache
        uses: actions/cache@v4
        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