update external test ci

a16z · Sep 12, 2023 · 59d449d · 59d449d
1 parent 0ae8839
commit 59d449d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/test-external.yml b/.github/workflows/test-external.yml
@@ -28,8 +28,8 @@ jobs:
             branch: ""
           - repo: "farcasterxyz/contracts"
             dir: "farcaster-contracts"
-            cmd: "halmos --function check"
-            branch: "test/halmos"
+            cmd: "halmos"
+            branch: ""
           - repo: "zobront/halmos-solady"
             dir: "halmos-solady"
             cmd: "halmos --function testCheck"