From 1266666381f86d409f524130aae230a83c89518f Mon Sep 17 00:00:00 2001
From: Jules Aguillon <jules@j3s.fr>
Date: Mon, 30 Sep 2024 16:15:40 +0200
Subject: [PATCH] CI: Run the driver

---
 .github/workflows/build.yml  |  2 +-
 .github/workflows/driver.yml | 37 ++++++++++++++++++++++++++++++++++++
 2 files changed, 38 insertions(+), 1 deletion(-)
 create mode 100644 .github/workflows/driver.yml

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index a7af6eb34e..284ece6b82 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -44,7 +44,7 @@ jobs:
           opam-pin: false
           ocaml-compiler: ${{ matrix.ocaml-compiler }}
           opam-local-packages: |
-            odoc.opam
+            odoc-parser.opam odoc.opam
 
       - name: Install dependencies
         run: opam install -y --deps-only -t ./odoc.opam ./odoc-parser.opam
diff --git a/.github/workflows/driver.yml b/.github/workflows/driver.yml
new file mode 100644
index 0000000000..d5cbe06f81
--- /dev/null
+++ b/.github/workflows/driver.yml
@@ -0,0 +1,37 @@
+name: "Driver"
+
+on:
+  - pull_request
+
+jobs:
+  build: # Check build on various OSes
+
+    strategy:
+      matrix:
+        os:
+          - ubuntu-latest
+        ocaml-compiler:
+          - 5.2.x
+
+    runs-on: ${{ matrix.os }}
+
+    steps:
+      # Clone the project
+      - uses: actions/checkout@v2
+
+      # Setup
+      - name: Setup OCaml ${{ matrix.ocaml-version }}
+        uses: ocaml/setup-ocaml@v3
+        with:
+          ocaml-compiler: ${{ matrix.ocaml-compiler }}
+          opam-local-packages: odoc-parser.opam odoc.opam odoc-driver.opam
+
+      - name: Install dependencies
+        run: |
+          opam install -y --deps-only -t ./odoc-parser.opam ./odoc.opam ./odoc-driver.opam
+          opam install -y base # Input to the driver
+
+      - name: Run the driver
+        run: |
+          opam exec -- dune exec -- odoc_driver -p base
+          echo "Generated $(find _html -name '*.html' | wc -l) pages"