Merge pull request #6 from pickoba/add-versions

add SATySFi 0.0.10, 0.0.11
pickoba · Feb 22, 2024 · 2543968 · 2543968
2 parents 7c1db0b + 8828762
commit 2543968
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -22,6 +22,12 @@ jobs:
           - ocaml-version: 4.14.1
             satysfi-version: 0.0.8
             satyrographos-version: 0.0.2.11
+          - ocaml-version: 4.14.1
+            satysfi-version: 0.0.10
+            satyrographos-version: 0.0.2.13
+          - ocaml-version: 4.14.1
+            satysfi-version: 0.0.11
+            satyrographos-version: 0.0.2.13
             latest: true
     env:
       REPOSITORY_NAME: ${{ secrets.DOCKER_HUB_USERNAME }}/gitpod-satysfi