install ninja

Certora · Nov 5, 2024 · b81731b · b81731b
1 parent ebc034a
commit b81731b
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -12,9 +12,7 @@ jobs:
       TAG: ${{ github.ref_name }}
     steps:
       - uses: actions/checkout@v4
-      - name: Install just
-        run: brew install just
+      - name: Install dependencies
+        run: brew install just ninja
       - name: Prepare and build
         run: just all
-      # - name: Build
-      #   run: just package