From 97610de286d7671db2b1cafcd10954e06a765191 Mon Sep 17 00:00:00 2001
From: karmacoma <karma@coma.lol>
Date: Wed, 22 May 2024 11:24:01 -0700
Subject: [PATCH] test-external: use pin-solc branch temporarily

(avoids stack too deep error with solc 0.8.26)

https://github.com/a16z/cicada/pull/8
---
 .github/workflows/test-external.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/test-external.yml b/.github/workflows/test-external.yml
index f4f039ac..e77b97c3 100644
--- 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"