Skip to content

Merge pull request #1210 from goblint/longjmp-top #152

Merge pull request #1210 from goblint/longjmp-top

Merge pull request #1210 from goblint/longjmp-top #152

Workflow file for this run

name: docs
on:
push:
branches:
- master
workflow_dispatch:
permissions:
contents: read
pages: write
id-token: write
concurrency:
group: "pages"
cancel-in-progress: true
jobs:
api-build:
strategy:
matrix:
os:
- ubuntu-latest
ocaml-compiler:
- ocaml-variants.4.14.0+options,ocaml-option-flambda # matches opam lock file
# don't add any other because they won't be used
runs-on: ${{ matrix.os }}
steps:
- name: Checkout code
uses: actions/checkout@v4
- name: Check for undocumented modules
run: python scripts/goblint-lib-modules.py
- name: Set up OCaml ${{ matrix.ocaml-compiler }}
env:
# otherwise setup-ocaml pins non-locked dependencies
# https://github.com/ocaml/setup-ocaml/issues/166
OPAMLOCKED: locked
uses: ocaml/setup-ocaml@v2
with:
ocaml-compiler: ${{ matrix.ocaml-compiler }}
- name: Setup Pages
id: pages
uses: actions/configure-pages@v3
- name: Install dependencies
run: opam install . --deps-only --locked --with-doc
- name: Build API docs
run: opam exec -- dune build @doc
- name: Upload artifact
uses: actions/upload-pages-artifact@v2
with:
path: _build/default/_doc/_html/
api-deploy:
environment:
name: github-pages
url: ${{ steps.deployment.outputs.page_url }}
runs-on: ubuntu-latest
needs: api-build
steps:
- name: Deploy to GitHub Pages
id: deployment
uses: actions/deploy-pages@v2