diff --git a/.github/workflows/test-external.yml b/.github/workflows/test-external.yml index a933e85b..054d58e2 100644 --- a/.github/workflows/test-external.yml +++ b/.github/workflows/test-external.yml @@ -26,10 +26,10 @@ jobs: dir: "cicada" cmd: "halmos --contract LibPrimeTest --function testProve --loop 256" branch: "" - # - repo: "farcasterxyz/contracts" - # dir: "farcaster-contracts" - # cmd: "halmos" - # branch: "" + - repo: "farcasterxyz/contracts" + dir: "farcaster-contracts" + cmd: "halmos" + branch: "" - repo: "zobront/halmos-solady" dir: "halmos-solady" cmd: "halmos --function testCheck"