Upgrade GitHub workflow and Cirrus CI with OCaml 5.0

mirage · Jan 13, 2023 · 78ad3c1 · 78ad3c1
1 parent c6b9457
commit 78ad3c1
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 15 deletions.
diff --git a/.cirrus.yml b/.cirrus.yml
@@ -6,9 +6,7 @@ freebsd_task:
     OPAMYES: 1
   env:
     matrix:
-      - OCAML_VERSION: 4.12.1
-      - OCAML_VERSION: 4.13.0
-      - OCAML_VERSION: 4.13.1
+      - OCAML_VERSION: 5.0.0
   pkg_install_script: pkg install -y ocaml-opam gmp gmake pkgconf bash
   opam_ocaml_cache:
     folder: $HOME/.opam

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -5,7 +5,7 @@ jobs:
     strategy:
       matrix:
         operating-system: [ubuntu-latest]
-        ocaml-version: [4.13.1]
+        ocaml-version: [5.0.0]
         mode:
           - name: hvt
             exec: false
@@ -17,17 +17,6 @@ jobs:
             exec: false
           - name: xen
             exec: false
-        include:
-          - operating-system: ubuntu-latest
-            ocaml-version: 4.13.0
-            mode:
-              name: spt
-              exec: true
-          - operating-system: ubuntu-latest
-            ocaml-version: 4.12.1
-            mode:
-              name: spt
-              exec: true
     runs-on: ${{ matrix.operating-system }}
     steps:
     - uses: actions/checkout@v2