Merge pull request #130 from hannesm/ci

cirrus: update to FreeBSD 13.2, also test ocaml 4.14.1
mirage · Jan 9, 2024 · e8ea72c · e8ea72c
2 parents fea3343 + 5bd4f77
commit e8ea72c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.cirrus.yml b/.cirrus.yml
@@ -1,14 +1,14 @@
 freebsd_instance:
-  image_family: freebsd-12-1
+  image_family: freebsd-13-2
 
 freebsd_task:
   env:
     OPAMYES: 1
   env:
     matrix:
       - OCAML_VERSION: 4.12.1
-      - OCAML_VERSION: 4.13.0
       - OCAML_VERSION: 4.13.1
+      - OCAML_VERSION: 4.14.1
   pkg_install_script: pkg install -y ocaml-opam gmp gmake pkgconf bash
   opam_ocaml_cache:
     folder: $HOME/.opam