Force OCaml >= 5.4

This is to check the CI with the last version of OCaml.

Author: strub

.github/workflows/ci.yml

@@ -21,9 +21,10 @@ jobs:
     - uses: actions/checkout@v4
     - name: Install EasyCrypt dependencies
       run: |
-        opam pin add -n easycrypt .
-        opam install --deps-only --depext-only --confirm-level=unsafe-yes easycrypt
-        opam install --deps-only easycrypt
+        opam update
+        opam pin add --update-invariant -n easycrypt .
+        opam install --update-invariant --deps-only --depext-only --confirm-level=unsafe-yes easycrypt
+        opam install --update-invariant --deps-only easycrypt
     - name: Compile EasyCrypt
       run: opam exec -- make PROFILE=ci
 
@@ -61,9 +62,10 @@ jobs:
     - uses: actions/checkout@v4
     - name: Install EasyCrypt dependencies
       run: |
-        opam pin add -n easycrypt .
-        opam install --deps-only --depext-only --confirm-level=unsafe-yes easycrypt
-        opam install --deps-only easycrypt
+        opam update
+        opam pin add --update-invariant -n easycrypt .
+        opam install --update-invariant --deps-only --depext-only --confirm-level=unsafe-yes easycrypt
+        opam install --update-invariant --deps-only easycrypt
     - name: Compile EasyCrypt
       run: opam exec -- make
     - name: Detect SMT provers
@@ -129,9 +131,10 @@ jobs:
           project/${{ matrix.target.name }}
     - name: Install EasyCrypt dependencies
       run: |
-        opam pin add -n easycrypt easycrypt
-        opam install --deps-only --depext-only --confirm-level=unsafe-yes easycrypt
-        opam install --deps-only easycrypt
+        opam update
+        opam pin add --update-invariant -n easycrypt easycrypt
+        opam install --update-invariant --deps-only --depext-only --confirm-level=unsafe-yes easycrypt
+        opam install --update-invariant --deps-only easycrypt
     - name: Compile & Install EasyCrypt
       run: opam exec -- make -C easycrypt build install
     - name: Detect SMT provers

dune-project

@@ -12,7 +12,7 @@
  (name easycrypt)
  (sites (lib theories) (libexec commands) (lib config))
  (depends
-  (ocaml (>= 4.08.0))
+  (ocaml (>= 5.4))
   (batteries (>= 3))
   (camlp-streams (>= 5))
   camlzip

easycrypt.opam

@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 depends: [
-  "ocaml" {>= "4.08.0"}
+  "ocaml" {>= "5.4"}
   "batteries" {>= "3"}
   "camlp-streams" {>= "5"}
   "camlzip"