Remove circuit-construction (again) #615
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: CI | |
| on: | |
| workflow_dispatch: | |
| pull_request: | |
| concurrency: | |
| group: ${{ github.ref }} | |
| cancel-in-progress: true | |
| env: | |
| # https://doc.rust-lang.org/cargo/reference/profiles.html#release | |
| RUSTFLAGS: -Coverflow-checks=y -Cdebug-assertions=y | |
| # https://doc.rust-lang.org/cargo/reference/profiles.html#incremental | |
| CARGO_INCREMENTAL: 1 | |
| # https://nexte.st/book/pre-built-binaries.html#using-nextest-in-github-actions | |
| CARGO_TERM_COLOR: always | |
| # 30 MB of stack for Keccak tests | |
| RUST_MIN_STACK: 31457280 | |
| jobs: | |
| run_mdbook: | |
| name: Building MDBook | |
| runs-on: ubuntu-latest | |
| strategy: | |
| matrix: | |
| rust_toolchain_version: ["1.72"] | |
| steps: | |
| - name: Checkout repository | |
| uses: actions/checkout@v4 | |
| with: | |
| submodules: recursive | |
| - name: Use shared Rust toolchain setting up steps | |
| uses: ./.github/actions/toolchain-shared | |
| with: | |
| rust_toolchain_version: ${{ matrix.rust_toolchain_version }} | |
| - name: Build the mdbook | |
| run: | | |
| cd book | |
| make deps | |
| make build | |
| run_formatting: | |
| name: Formatting | |
| runs-on: ubuntu-latest | |
| strategy: | |
| matrix: | |
| rust_toolchain_version: ["nightly"] | |
| steps: | |
| - name: Checkout repository | |
| uses: actions/checkout@v4 | |
| with: | |
| submodules: recursive | |
| - name: Use shared Rust toolchain setting up steps | |
| uses: ./.github/actions/toolchain-shared | |
| with: | |
| rust_toolchain_version: ${{ matrix.rust_toolchain_version }} | |
| - name: Run cargo fmt | |
| run: | | |
| make format | |
| run_checks: | |
| name: Run checks and tests | |
| # We run only one of the matrix options on the toffee `hetzner-1` self-hosted GitHub runner. | |
| # Only in this configuration we enable tests with the code coverage data gathering. | |
| # runs-on: [hetzner-proof-systems-runners-group-1] | |
| runs-on: ${{ matrix.rust_toolchain_version == '1.74' && 'hetzner-1' || 'ubuntu-latest' }} | |
| env: | |
| RUST_TOOLCHAIN_COVERAGE_VERSION: "1.74" | |
| strategy: | |
| matrix: | |
| rust_toolchain_version: ["1.71", "1.72", "1.73", "1.74"] | |
| # FIXME: currently not available for 5.0.0. | |
| # It might be related to boxroot dependency, and we would need to bump | |
| # up the ocaml-rs dependency | |
| ocaml_version: ["4.14"] | |
| node: [20] | |
| steps: | |
| - name: Checkout repository | |
| uses: actions/checkout@v4 | |
| with: | |
| submodules: recursive | |
| - name: Set up NodeJS | |
| uses: actions/setup-node@v4 | |
| with: | |
| node-version: ${{ matrix.node }} | |
| - name: Use shared Rust toolchain setting up steps | |
| uses: ./.github/actions/toolchain-shared | |
| with: | |
| rust_toolchain_version: ${{ matrix.rust_toolchain_version }} | |
| - name: Rust Cache | |
| uses: Swatinem/rust-cache@v2 | |
| - name: Use shared OCaml setting up steps | |
| uses: ./.github/actions/ocaml-shared | |
| with: | |
| ocaml_version: ${{ matrix.ocaml_version }} | |
| - name: Install markdownlint | |
| run: | | |
| # FIXME: 0.39.0 makes the CI fail | |
| npm install -g [email protected] | |
| # | |
| # Doc & Spec | |
| # | |
| - name: Install cargo-spec for specifications | |
| run: | | |
| eval $(opam env) | |
| cargo install --locked cargo-spec | |
| - name: Build the kimchi specification | |
| run: | | |
| cd book/specifications/kimchi | |
| make build | |
| - name: Build the polynomial commitment specification | |
| run: | | |
| cd book/specifications/poly-commitment | |
| make build | |
| - name: Check that up-to-date specification is checked in | |
| run: | | |
| git diff --exit-code ":(exclude)rust-toolchain" | |
| - name: Build cargo docs | |
| run: | | |
| eval $(opam env) | |
| RUSTDOCFLAGS="-D warnings" cargo doc --all-features --no-deps | |
| # | |
| # Coding guidelines | |
| # | |
| - name: Lint (clippy) | |
| run: | | |
| eval $(opam env) | |
| make lint | |
| # | |
| # Build | |
| # | |
| - name: Ensure that everything builds | |
| run: | | |
| eval $(opam env) | |
| make | |
| # | |
| # Tests | |
| # | |
| - name: Install test dependencies | |
| run: | | |
| make install-test-deps | |
| - name: Doc tests | |
| if: ${{ matrix.rust_toolchain_version != env.RUST_TOOLCHAIN_COVERAGE_VERSION }} | |
| run: | | |
| eval $(opam env) | |
| make test-doc | |
| - name: Run non-heavy tests without the code coverage | |
| if: ${{ matrix.rust_toolchain_version != env.RUST_TOOLCHAIN_COVERAGE_VERSION }} | |
| run: | | |
| eval $(opam env) | |
| make nextest | |
| - name: Run heavy tests without the code coverage | |
| if: ${{ matrix.rust_toolchain_version == env.RUST_TOOLCHAIN_COVERAGE_VERSION }} | |
| run: | | |
| eval $(opam env) | |
| make nextest-heavy | |
| # TODO: Re-enable this for tests with coverage data gathering. | |
| # TODO: We intentionally disable the tests with the code coverage data gathering because | |
| # TODO: Rust's code coverage instrumentation is not compatible with some of the optimizations that occur during release builds. | |
| # make nextest-with-coverage | |
| # make test-doc-with-coverage | |
| # make generate-test-coverage-report | |
| # - name: Use shared code coverage summary | |
| # if: ${{ matrix.rust_toolchain_version == env.RUST_TOOLCHAIN_COVERAGE_VERSION }} | |
| # uses: ./.github/actions/coverage-summary-shared | |
| # - name: Use shared Codecov reporting steps | |
| # if: ${{ matrix.rust_toolchain_version == env.RUST_TOOLCHAIN_COVERAGE_VERSION }} | |
| # uses: ./.github/actions/codecov-shared | |
| # with: | |
| # token: ${{ secrets.CODECOV_TOKEN }} |