Merge 48b3330b95 into 0faaf35969

.github/workflows/gh-pages.yml

@@ -18,9 +18,9 @@ jobs:
           path: ~/.opam
           key: opam-ubuntu-latest-4.12.0
 
-      - uses: ocaml/setup-ocaml@v3
+      - uses: ocaml/setup-ocaml@v2
         with:
-          ocaml-compiler: '5.03'
+          ocaml-compiler: '5.0.x'
 
       - name: Pin
         run: opam pin -n .

.github/workflows/main.yml

@@ -16,13 +16,12 @@ jobs:
           # - macos-latest    # build issues with `ar` (!!!)
           #- windows-latest   # certificate problem
         ocaml-compiler:
-          - 4.08
+          - 4.03.x
-          - 4.12
+          - 4.12.x
-          - 5.03
     runs-on: ${{ matrix.os }}
     steps:
     - uses: actions/checkout@v2
-    - uses: ocaml/setup-ocaml@v3
+    - uses: ocaml/setup-ocaml@v2
       with:
         ocaml-compiler: ${{ matrix.ocaml-compiler }}
     - run: opam pin -n .