update CI scripts

robur-coop · Mar 10, 2025 · b2b46e9 · b2b46e9
1 parent d5d9d60
commit b2b46e9
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/.cirrus.yml b/.cirrus.yml
@@ -1,10 +1,10 @@
 freebsd_instance:
-  image_family: freebsd-14-1
+  image_family: freebsd-14-2
 
 freebsd_task:
   pkg_install_script: pkg install -y ocaml-opam gmake bash
   ocaml_script: opam init -a --comp=4.14.2
-  mirage_script: eval `opam env` && opam install --confirm-level=unsafe-yes "mirage>=4.8.0"
+  mirage_script: eval `opam env` && opam install --confirm-level=unsafe-yes "mirage>=4.9.0"
   configure_script: eval `opam env` && cd mirage && mirage configure -t hvt
   depend_script: eval `opam env` && cd mirage && gmake depend
   build_script: eval `opam env` && cd mirage && gmake build

diff --git a/.github/workflows/format.yml b/.github/workflows/format.yml
@@ -21,7 +21,7 @@ jobs:
           ref: ${{ github.event.pull_request.head.ref }}
 
       - name: Use OCaml ${{ matrix.ocaml-version }}
-        uses: ocaml/setup-ocaml@v2
+        uses: ocaml/setup-ocaml@v3
         with:
           ocaml-compiler: ${{ matrix.ocaml-version }}