use version 1.75 and fix default toolchain

Certora · Dec 4, 2024 · ddf9b24 · ddf9b24
1 parent 213a8cf
commit ddf9b24
Showing 1 changed file with 9 additions and 9 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -18,9 +18,9 @@ jobs:
       - name: Install dependencies
         run: |
             brew install just ninja
-            rustup install 1.75.0
-            rustup toolchain install 1.75.0
-            rustup default 1.75.0-aarch64-apple-darwin
+            rustup install 1.75
+            rustup toolchain install 1.75
+            rustup default 1.75-aarch64-apple-darwin
       - name: Clone
         run: just clone
       - name: Prepare
@@ -50,9 +50,9 @@ jobs:
       - name: Install dependencies
         run: |
             brew install just ninja
-            rustup install 1.75.0
-            rustup toolchain install 1.75.0
-            rustup default 1.75.0-aarch64-apple-darwin
+            rustup install 1.75
+            rustup toolchain install 1.75
+            rustup default 1.75-x86_64-apple-darwin
       - name: Clone
         run: just clone
       - name: Prepare
@@ -84,9 +84,9 @@ jobs:
       - name: Install dependencies
         run: |
           sudo apt update; sudo apt install ninja-build
-          rustup install 1.75.0
-          rustup toolchain install 1.75.0
-          rustup default 1.75.0-aarch64-apple-darwin
+          rustup install 1.75
+          rustup toolchain install 1.75
+          rustup default 1.75-x86_64-unknown-linux-gnu
       - name: Clone
         run: just clone
       - name: Prepare