add ninja

opencompl · Oct 24, 2024 · 3f63202 · 3f63202
1 parent 13566dd
commit 3f63202
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/bv-plots.yml b/.github/workflows/bv-plots.yml
@@ -42,6 +42,7 @@ jobs:
             python3 -m venv venv
             source venv/bin/activate
             pip install meson
+            pip install ninja
             git clone https://github.com/bitwuzla/bitwuzla
             cd bitwuzla
             ./configure.py