try using brew

Certora · Nov 4, 2024 · 7bb40c1 · 7bb40c1
1 parent 432ae47
commit 7bb40c1
Showing 1 changed file with 6 additions and 4 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -12,9 +12,11 @@ jobs:
       TAG: ${{ github.ref_name }}
     steps:
       - uses: actions/checkout@v4
-      - name: Install dependencies
-        uses: extractions/setup-just@v1
-        with:
-          just-version: 1.5.0 
+      - name: Install just
+        run: brew install just
+      # - name: Install dependencies
+      #   uses: extractions/setup-just@v1
+      #   with:
+      #     just-version: 1.5.0 
       - name: Build
         run: just package