install ninja

Certora · Nov 17, 2024 · 0c064bd · 0c064bd
1 parent 19b7282
commit 0c064bd
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -43,6 +43,8 @@ jobs:
       - uses: actions/checkout@v4
       - name: Install just
         uses: taiki-e/install-action@just
+      - name: Install ninja
+        run: sudo apt update; sudo apt install ninja-build
       - name: Clone
         run: just clone
       - name: Prepare