diff options
| -rw-r--r-- | .github/workflows/test.yml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |