Bring back cvc5 CI

formalsec · Aug 20, 2024 · 278afca · 278afca
1 parent 37793bd
commit 278afca
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 0 deletions.
diff --git a/.github/workflows/test-cvc5.yml.disabled → .github/workflows/test-cvc5.yml b/.github/workflows/test-cvc5.yml.disabled → .github/workflows/test-cvc5.yml
@@ -12,6 +12,7 @@ jobs:
   test-cvc5:
     runs-on: ubuntu-latest
     env:
+      OPAMJOBS: 4
       OPAMCONFIRMLEVEL: unsafe-yes
     steps:
       - name: Checkout

diff --git a/CHANGES.md b/CHANGES.md
@@ -2,8 +2,17 @@
 
 ### Added
 ### Fixed
+
+- Fixes cvc5 mappigns
+
+### Changed
+
+## v0.2.4
+
 ### Changed
 
+- Bump `prelude` 0.2 -> 0.3
+
 ## v0.2.3
 
 ### Added