From b940d9f83f87567fe69c068a1faf63fd8d3bf091 Mon Sep 17 00:00:00 2001
From: Jiuyang Liu
Date: Thu, 29 Jul 2021 11:08:02 +0800
Subject: apt install ninja

---
 .github/workflows/test.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to '.github/workflows')

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index 94a30f12..10742b96 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -28,7 +28,7 @@ jobs:
 
       - name: Install Z3 Build Dependencies(Ubuntu)
         if: matrix.system == 'ubuntu-20.04'
-        run: sudo apt-get install -y libfl2 libfl-dev
+        run: sudo apt-get install -y libfl2 libfl-dev ninja-build
 
       - name: Cache Z3 ${{ matrix.z3 }}
         uses: actions/cache@v2
-- 
cgit v1.2.3