cahnge default toolchain

Certora · Dec 4, 2024 · 213a8cf · 213a8cf
1 parent cf70013
commit 213a8cf
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -20,6 +20,7 @@ jobs:
             brew install just ninja
             rustup install 1.75.0
             rustup toolchain install 1.75.0
+            rustup default 1.75.0-aarch64-apple-darwin
       - name: Clone
         run: just clone
       - name: Prepare
@@ -51,6 +52,7 @@ jobs:
             brew install just ninja
             rustup install 1.75.0
             rustup toolchain install 1.75.0
+            rustup default 1.75.0-aarch64-apple-darwin
       - name: Clone
         run: just clone
       - name: Prepare
@@ -84,6 +86,7 @@ jobs:
           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
       - name: Clone
         run: just clone
       - name: Prepare