Force GitHub action to use Rust 1.76

dewert99 · May 23, 2024 · 95005d3 · 95005d3
1 parent e69b39d
commit 95005d3
Showing 1 changed file with 8 additions and 8 deletions.
diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
@@ -15,9 +15,9 @@ jobs:
       - name: Setup rust toolchain, cache
         uses: moonrepo/setup-rust@v0
         with:
-          channel: stable
+          channel: 1.76.0
           cache-target: dev
-      - run: cargo test
+      - run: cargo +1.76.0 test
       - run: cargo test --features test_add_more_mid_search_equalities
   test-starexec-bench:
     name: StarExec SMT tests
@@ -28,9 +28,9 @@ jobs:
       - name: Setup rust toolchain, cache
         uses: moonrepo/setup-rust@v0
         with:
-          channel: stable
+          channel: 1.76.0
           cache-target: release
-      - run: cargo test --release --package bat_egg_smt --test test test_smtlib_benchmarks
+      - run: cargo +1.76.0 test --release --package bat_egg_smt --test test test_smtlib_benchmarks
   test-more:
     name: StarExec SMT tests with extra equalities and randomized activations
     runs-on: ubuntu-latest
@@ -40,11 +40,11 @@ jobs:
       - name: Setup rust toolchain, cache
         uses: moonrepo/setup-rust@v0
         with:
-          channel: stable
+          channel: 1.76.0
           cache-target: release
-      - run: cargo test --release --features test_add_more_mid_search_equalities --package bat_egg_smt --test test test_smtlib_benchmarks
-      - run: SEED=1 cargo test --release --features test_add_more_mid_search_equalities --package bat_egg_smt --test test test_smtlib_benchmarks
-      - run: SEED=1 cargo test --release --package bat_egg_smt --test test test_smtlib_benchmarks
+      - run: cargo +1.76.0 test --release --features test_add_more_mid_search_equalities --package bat_egg_smt --test test test_smtlib_benchmarks
+      - run: SEED=1 cargo +1.76.0 test --release --features test_add_more_mid_search_equalities --package bat_egg_smt --test test test_smtlib_benchmarks
+      - run: SEED=1 cargo +1.76.0 test --release --package bat_egg_smt --test test test_smtlib_benchmarks
 
   benchmarks:
     needs: [test-starexec-bench]