test-external: use pin-solc branch temporarily

(avoids stack too deep error with solc 0.8.26) a16z/cicada#8
a16z · May 22, 2024 · 97610de · 97610de
1 parent 18383a9
commit 97610de
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/test-external.yml b/.github/workflows/test-external.yml
@@ -22,11 +22,11 @@ jobs:
           - repo: "a16z/cicada"
             dir: "cicada"
             cmd: "halmos --contract LibUint1024Test --function testProve --loop 256"
-            branch: ""
+            branch: "pin-solc"
           - repo: "a16z/cicada"
             dir: "cicada"
             cmd: "halmos --contract LibPrimeTest --function testProve --loop 256"
-            branch: ""
+            branch: "pin-solc"
           - repo: "farcasterxyz/contracts"
             dir: "farcaster-contracts"
             cmd: "halmos"