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..60d55e25a2 --- /dev/null +++ b/.github/workflows/driver.yml @@ -0,0 +1,37 @@ +name: "Driver" + +on: + - push + - 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@v2 + 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-driver.opam + + - name: Run the driver + run: | + opam exec -- dune exec -- odoc_driver -p odoc + echo "Generated $(find _html -name '*.html' | wc -l) pages"