diff --git a/.github/workflows/test-cvc5.yml.disabled b/.github/workflows/test-cvc5.yml
similarity index 97%
rename from .github/workflows/test-cvc5.yml.disabled
rename to .github/workflows/test-cvc5.yml
index 92538fef..29daeb71 100644
--- a/.github/workflows/test-cvc5.yml.disabled
+++ b/.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
index 0b962554..4fe53eac 100644
--- 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