CI: do not run tests nor lint nor docs-and-spec when Rust >= 1.84

It allows to still build for macos-latest on 1.84

Author: dannywillems

.github/workflows/ci.yml

@@ -33,6 +33,8 @@ jobs:
       ocaml_version: ${{ steps.ocaml.outputs.version }}
       node: ${{ steps.node.outputs.version }}
       matrix: ${{ steps.matrix.outputs.value }}
+      default_rust_version: ${{ steps.defaults.outputs.rust_version }}
+      default_os: ${{ steps.defaults.outputs.os }}
     steps:
       # FIXME: currently not available for 5.0.0.
       # It might be related to boxroot dependency, and we would need to bump
@@ -41,6 +43,10 @@ jobs:
         run: echo 'version=["4.14.2"]' >> "$GITHUB_OUTPUT"
       - id: node
         run: echo 'version=["20"]' >> "$GITHUB_OUTPUT"
+      - id: defaults
+        run: |
+          echo 'rust_version=1.81' >> "$GITHUB_OUTPUT"
+          echo 'os=ubuntu-latest' >> "$GITHUB_OUTPUT"
       - id: matrix
         run: |
           # NOTE: This custom matrix configuration is needed to use Rust 1.84 specifically for macOS.
@@ -92,6 +98,10 @@ jobs:
         rust_and_os: ${{ fromJSON(needs.define-matrix.outputs.matrix).include }}
         ocaml_version: ${{ fromJSON(needs.define-matrix.outputs.ocaml_version) }}
         node: ${{ fromJSON(needs.define-matrix.outputs.node) }}
+        exclude:
+          # Skip Rust 1.84 due to linting issues - remove when
+          # https://github.com/o1-labs/proof-systems/pull/3245 is fixed
+          - rust_and_os: {rust_toolchain_version: '1.84', os: 'macos-latest'}
     runs-on: ${{ matrix.rust_and_os.os }}
     steps:
       - name: Checkout repository
@@ -168,8 +178,8 @@ jobs:
         if: >-
           github.event_name == 'push' &&
           github.ref == 'refs/heads/master' &&
-          matrix.rust_and_os.rust_toolchain_version == '1.81' &&
-          matrix.rust_and_os.os == 'ubuntu-latest'
+          matrix.rust_and_os.rust_toolchain_version == needs.define-matrix.outputs.default_rust_version &&
+          matrix.rust_and_os.os == needs.define-matrix.outputs.default_os
         run: |
           eval $(opam env)
           RUSTDOCFLAGS="--enable-index-page -Zunstable-options" cargo +nightly doc --all-features --no-deps --workspace --exclude xtask
@@ -180,8 +190,8 @@ jobs:
         if: >-
           github.event_name == 'push' &&
           github.ref == 'refs/heads/master' &&
-          matrix.rust_and_os.rust_toolchain_version == '1.81' &&
-          matrix.rust_and_os.os == 'ubuntu-latest'
+          matrix.rust_and_os.rust_toolchain_version == needs.define-matrix.outputs.default_rust_version &&
+          matrix.rust_and_os.os == needs.define-matrix.outputs.default_os
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}
           publish_dir: ./book/book/html
@@ -193,6 +203,10 @@ jobs:
         rust_and_os: ${{ fromJSON(needs.define-matrix.outputs.matrix).include }}
         ocaml_version: ${{ fromJSON(needs.define-matrix.outputs.ocaml_version) }}
         node: ${{ fromJSON(needs.define-matrix.outputs.node) }}
+        exclude:
+          # Skip Rust 1.84 due to linting issues - remove when
+          # https://github.com/o1-labs/proof-systems/pull/3245 is fixed
+          - rust_and_os: {rust_toolchain_version: '1.84', os: 'macos-latest'}
     runs-on: ${{ matrix.rust_and_os.os }}
     steps:
       - name: Checkout repository
@@ -257,6 +271,10 @@ jobs:
         rust_and_os: ${{ fromJSON(needs.define-matrix.outputs.matrix).include }}
         ocaml_version: ${{ fromJSON(needs.define-matrix.outputs.ocaml_version) }}
         node: ${{ fromJSON(needs.define-matrix.outputs.node) }}
+        exclude:
+          # Skip Rust 1.84 due to linting issues - remove when
+          # https://github.com/o1-labs/proof-systems/pull/3245 is fixed
+          - rust_and_os: {rust_toolchain_version: '1.84', os: 'macos-latest'}
     runs-on: ${{ matrix.rust_and_os.os }}
     steps:
       - name: Checkout repository