f

Julow · Sep 30, 2024 · 6c79e29 · 6c79e29
1 parent bc50783
commit 6c79e29
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 9 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -12,15 +12,15 @@ jobs:
         os:
           - ubuntu-latest
         ocaml-compiler:
-          - 4.02.x
-          - 4.04.x
-          - 4.06.x
-          - 4.08.x
-          - 4.10.x
-          - 4.12.x
-          - 4.14.x
-          - 5.0.x
-          - 5.1.x
+          # - 4.02.x
+          # - 4.04.x
+          # - 4.06.x
+          # - 4.08.x
+          # - 4.10.x
+          # - 4.12.x
+          # - 4.14.x
+          # - 5.0.x
+          # - 5.1.x
         include:
           - os: ubuntu-latest
             ocaml-compiler: 5.1.x

diff --git a/.github/workflows/driver.yml b/.github/workflows/driver.yml
@@ -33,4 +33,5 @@ jobs:
       - name: Run the driver
         run: |
           opam exec -- dune exec -- odoc_driver -p odoc
+          ls _html
           echo "Generated $(find _html -name '*.html' | wc -l) pages"