diff options
| author | Jiuyang Liu | 2021-07-29 11:08:02 +0800 |
|---|---|---|
| committer | Jiuyang Liu | 2021-08-18 12:56:06 +0800 |
| commit | b940d9f83f87567fe69c068a1faf63fd8d3bf091 (patch) | |
| tree | 347810e0ac0f95f9f252acaa0054caf5821a7c87 /.github/workflows | |
| parent | 886d60ca6412a017ad345e3ce346eefe383c4a7e (diff) | |
apt install ninja
Diffstat (limited to '.github/workflows')
| -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 |