From cf7001329b75a30e629487f472627767c763d015 Mon Sep 17 00:00:00 2001
From: Oz <oz@certora.com>
Date: Wed, 4 Dec 2024 13:25:01 +0200
Subject: [PATCH] add toolchain for v1.75

---
 .github/workflows/main.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 3f94d3c..2cfb1bd 100644
--- 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