CI jobs: upgrade CVC5 to 1.0.0

tautschnig · tautschnig · commit b7c66928aeb9 · 2022-04-08T19:56:14.000Z
CVC5 version 1 has been released on 2022-04-06.
diff --git a/.github/workflows/pull-request-checks.yaml b/.github/workflows/pull-request-checks.yaml
@@ -3,7 +3,7 @@ on:
   pull_request:
     branches: [ develop ]
 env:
-  cvc5-version: "0.0.9"
+  cvc5-version: "1.0.0"
 
 jobs:
   check-ubuntu-20_04-make-gcc:
diff --git a/.github/workflows/release-packages.yaml b/.github/workflows/release-packages.yaml
@@ -2,7 +2,7 @@ on:
   release:
     types: [created]
 env:
-  cvc5-version: "0.0.9"
+  cvc5-version: "1.0.0"
 
 name: Upload additional release assets
 jobs:
