Update smt-logs and fix mono

viperproject · Jan 27, 2025 · b4013fd · b4013fd
1 parent 4775b3e
commit b4013fd
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/.github/workflows/eval.yml b/.github/workflows/eval.yml
@@ -52,6 +52,8 @@ jobs:
         uses: pavpanchekha/setup-z3@1.2.2
         with:
           version: '4.8.7'
+      - name: Install mono
+        run: sudo apt install -y mono-devel
       - name: Cache cargo
         uses: Swatinem/rust-cache@v2
         with:

diff --git a/eval/smt-logs b/eval/smt-logs