hmmm mac build is broken..

Certora · May 21, 2024 · e2f511a · e2f511a
1 parent b968f7b
commit e2f511a
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/gambit.yml b/.github/workflows/gambit.yml
@@ -71,7 +71,9 @@ jobs:
                 sudo mv solc-macos /usr/local/bin/solc
               fi
       - name: Build and Test
-        run: make all_macos
+        run:  |
+          rustup target add x86_64-apple-darwin
+          make all_macos
 
       - name: Darwin link as Universal
         run: lipo -create -output gambit-macos target/aarch64-apple-darwin/release/gambit target/x86_64-apple-darwin/release/gambit