wip

Deducteam · Oct 29, 2024 · 3e3ed85 · 3e3ed85
1 parent 25e92a4
commit 3e3ed85
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -7,7 +7,7 @@ jobs:
       fail-fast: false
       matrix:
         ocaml-version: [5.2.0, 5.1.1, 5.0.0, 4.14.1, 4.13.1] # does not compile with: 4.12.1, 4.11.2, 4.10.2, 4.09.1, 4.08.1
-        ocaml-format-version: [0.24.1] # 0.24.1 is incompatible with ocaml 5.2.0
+#        ocaml-format-version: [0.24.1] # 0.24.1 is incompatible with ocaml 5.2.0
     runs-on: ubuntu-latest
     steps:
       - name: checking out dedukti repo...
@@ -22,11 +22,11 @@ jobs:
           opam update
           opam upgrade
           opam install . --deps-only -t
-          opam install ocamlformat.${{ matrix.ocaml-format-version }}
-      - name: Checking formatting...
-        run: |
-          eval $(opam env)
-          make fmt
+#      - name: Checking formatting...
+#        run: |
+#          eval $(opam env)
+#          opam install ocamlformat.${{ matrix.ocaml-format-version }}
+#          make fmt
       - name: Check universo compiles...
         run: |
           eval $(opam env)