Merge 19db102b22 into 4b7d9ec769

.github/workflows/main.yml

@@ -16,9 +16,9 @@ jobs:
           # - macos-latest    # build issues with `ar` (!!!)
           #- windows-latest   # certificate problem
         ocaml-compiler:
-          - '4.08'
-          - '4.14'
-          - '5.3'
+          - 4.08
+          - 4.12
+          - 5.03
     runs-on: ${{ matrix.os }}
     steps:
     - uses: actions/checkout@v2