Don't allow unsupported compilers to be selected

dra27 · Jul 17, 2024 · d9cbd4d · d9cbd4d
1 parent c26b22d
commit d9cbd4d
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/windows.yml b/.github/workflows/windows.yml
@@ -40,6 +40,10 @@ jobs:
         if: steps.cache-opam.outputs.cache-hit != 'true'
         run: opam init --yes --no-setup .
 
+      - name: Restrict testing to available compilers
+        if: steps.cache-opam.outputs.cache-hit != 'true'
+        run: opam switch set-invariant --formula "`"ocaml`" {>= `"4.13`"}"
+
       - name: Save opam cache
         if: steps.cache-opam.outputs.cache-hit != 'true'
         uses: actions/cache/save@v4