Prevent num downgrade in lower-bounds CI

goblint · Nov 23, 2023 · 6389a7f · 6389a7f
1 parent 3414f4f
commit 6389a7f
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/unlocked.yml b/.github/workflows/unlocked.yml
@@ -160,7 +160,8 @@ jobs:
 
       - name: Downgrade dependencies
         # must specify ocaml-base-compiler again to prevent it from being downgraded
-        run: opam install $(opam exec -- opam-0install --prefer-oldest goblint ocaml-variants.4.14.0+options ocaml-option-flambda)
+        # prevent num downgrade to avoid dune/jbuilder error: https://github.com/ocaml/dune/issues/5280
+        run: opam install $(opam exec -- opam-0install --prefer-oldest goblint ocaml-variants.4.14.0+options ocaml-option-flambda num.1.4)
 
       - name: Build
         run: ./make.sh nat