wip

Deducteam · Jan 24, 2025 · 83f61c5 · 83f61c5
1 parent 99a5034
commit 83f61c5
Showing 1 changed file with 2 additions and 7 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -72,17 +72,12 @@ jobs:
   #         ocaml-compiler: 5
   #     - uses: ocaml/setup-ocaml/lint-fmt@v3
   lint-opam:
-    strategy:
-      fail-fast: false
-      matrix:
-        os: [ubuntu-latest] #, macos-latest, windows-latest]
-        ocaml-version: [5.3.0, 5.2.1, 5.1.1, 5.0.0, 4.14.2, 4.13.1, 4.12.1, 4.11.2, 4.10.2, 4.09.1]
-    runs-on: ${{ matrix.os }}-latest
+    runs-on: ubuntu-latest
     steps:
       - name: Checkout tree
         uses: actions/checkout@v4
       - name: Set-up OCaml
         uses: ocaml/setup-ocaml@v3
         with:
-          ocaml-compiler: ${{ matrix.ocaml-version }}
+          ocaml-compiler: 5
       - uses: ocaml/setup-ocaml/lint-opam@v3