From b81731b1477691feeae2e4dbd7c1be318193e6ce Mon Sep 17 00:00:00 2001
From: Oz <oz@certora.com>
Date: Tue, 5 Nov 2024 07:17:02 +0200
Subject: [PATCH] install ninja

---
 .github/workflows/main.yml | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 8b28243..4d1eab2 100644
--- 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
\ No newline at end of file