Add OCaml 5.1.0 to CI

goblint · Nov 20, 2023 · d2760ba · d2760ba
1 parent 34a62db
commit d2760ba
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -26,6 +26,7 @@ jobs:
           - 4.13.1
           - 4.14.x
           - 5.0.0
+          - 5.1.0
 
 
     runs-on: ${{ matrix.os }}