Merge branch 'ocaml-5.2'

goblint · May 14, 2024 · a84e07d · a84e07d
2 parents 290b765 + a2a1123
commit a84e07d
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/unlocked.yml b/.github/workflows/unlocked.yml
@@ -18,6 +18,8 @@ jobs:
           - ubuntu-latest
           - macos-13
         ocaml-compiler:
+          - 5.2.x
+          - 5.1.x
           - 5.0.x
           - ocaml-variants.4.14.0+options,ocaml-option-flambda
           - 4.14.x