Skip to content

Commit

Permalink
Merge pull request #164 from psafont/docfix
Browse files Browse the repository at this point in the history
  • Loading branch information
psafont committed Oct 4, 2022
2 parents aa1bfc5 + 0c1a2fa commit b71e1be
Show file tree
Hide file tree
Showing 2 changed files with 17 additions and 50 deletions.
46 changes: 0 additions & 46 deletions .github/workflows/gh-pages.yml

This file was deleted.

21 changes: 17 additions & 4 deletions .github/workflows/ocaml-ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -9,9 +9,11 @@ jobs:
strategy:
fail-fast: false
matrix:
ocaml-compiler:
- 4.08.1
- 4.14.0
include:
- ocaml-compiler: 4.08.1
publish-docs: false
- ocaml-compiler: 4.14.0
publish-docs: true

name: Ocaml tests
runs-on: ubuntu-20.04
Expand All @@ -26,15 +28,26 @@ jobs:
ocaml-compiler: ${{ matrix.ocaml-compiler }}

- name: Install dependencies
run: opam install . --deps-only --with-test -v
run: opam install . --deps-only --with-test --with-doc -v

- name: Build
run: opam exec -- make build

- name: Build Docs
run: opam exec -- make doc

- name: Run tests
run: opam exec -- dune runtest --instrument-with bisect_ppx --force

- run: opam exec -- bisect-ppx-report send-to Coveralls
env:
COVERALLS_REPO_TOKEN: ${{ secrets.GITHUB_TOKEN }}
PULL_REQUEST_NUMBER: ${{ github.event.number }}

- name: Deploy Docs
uses: peaceiris/actions-gh-pages@v3
if: ${{ github.event_name == 'push' && github.ref_name == 'master' && matrix.publish-docs == true }}
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: _build/default/_doc/_html/
publish_branch: gh-pages

0 comments on commit b71e1be

Please sign in to comment.