From c1cc55675bbc5f9428cee628505ae5e3a65b905e Mon Sep 17 00:00:00 2001
From: Daejun Park <daejunpark@gmail.com>
Date: Tue, 28 Nov 2023 20:18:25 -0800
Subject: [PATCH] ci: enable farcaster test

---
 .github/workflows/test-external.yml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

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"