update CI

bitwuzla · Aug 7, 2023 · df19dfe · df19dfe
1 parent 5681a09
commit df19dfe
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -13,9 +13,10 @@ jobs:
           - 4.10.1
           - 4.11.0
           - 4.12.0
+          - 4.13.1
+          - 4.14.1
         package:
-          - bitwuzla-c
-          - bitwuzla
+          - bitwuzla-cxx
         test:
           -
           - --with-test