add toolchain for v1.75

Certora · Dec 4, 2024 · cf70013 · cf70013
1 parent bfd15df
commit cf70013
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -19,6 +19,7 @@ jobs:
         run: |
             brew install just ninja
             rustup install 1.75.0
+            rustup toolchain install 1.75.0
       - name: Clone
         run: just clone
       - name: Prepare
@@ -49,6 +50,7 @@ jobs:
         run: |
             brew install just ninja
             rustup install 1.75.0
+            rustup toolchain install 1.75.0
       - name: Clone
         run: just clone
       - name: Prepare
@@ -81,6 +83,7 @@ jobs:
         run: |
           sudo apt update; sudo apt install ninja-build
           rustup install 1.75.0
+          rustup toolchain install 1.75.0
       - name: Clone
         run: just clone
       - name: Prepare