From 4dd0e4e585695b42937aacc37cad6e7b437904d6 Mon Sep 17 00:00:00 2001
From: Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt>
Date: Tue, 20 Aug 2024 11:09:13 +0100
Subject: [PATCH] Bring back cvc5 CI

---
 .github/workflows/{test-cvc5.yml.disabled => test-cvc5.yml} | 1 +
 1 file changed, 1 insertion(+)
 rename .github/workflows/{test-cvc5.yml.disabled => test-cvc5.yml} (97%)

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