build.yml

name: Test compilation

on: [push, pull_request]

# Prevent parallel CI: Stop every workflow of a branch
concurrency:
  cancel-in-progress: true
  group: ${{ github.ref }}

jobs:
  build:
    runs-on: ubuntu-latest

    steps:
      - name: Get branch name
        shell: bash
        run: echo "##[set-output name=branch;]$(echo ${GITHUB_REF#refs/heads/})"
        id: get_branch

      - name: Checkout code
        uses: actions/checkout@v3
        with:
          submodules: true

      - name: Install OCaml
        uses: avsm/setup-ocaml@v2
        with:
          ocaml-compiler: 4.14
          opam-repositories: |
            coq-released: https://coq.inria.fr/opam/released
            default: https://github.com/ocaml/opam-repository.git

      - name: Install Coq and Iris
        run: opam install . --deps-only -y

      - name: Build
        run: |
            find ./theories -name "*.v" -exec ./disable-qed.sh {} +;
            opam exec -- make pretty-timed -j2

      - name: Build docs
        run: opam exec -- make coqdoc

      - name: Deploy docs (if main branch)
        uses: peaceiris/actions-gh-pages@v3
        if: ${{ steps.get_branch.outputs.branch == 'main' }}
        with:
          github_token: ${{ secrets.GITHUB_TOKEN }}
          publish_dir: ./html
          destination_dir: dev

      - name: Deploy docs (if non-main branch and non-journal branch)
        uses: peaceiris/actions-gh-pages@v3
        if: ${{ steps.get_branch.outputs.branch != 'main' && (steps.get_branch.outputs.branch != 'journal') }}
        with:
          github_token: ${{ secrets.GITHUB_TOKEN }}
          publish_dir: ./html
          destination_dir: branch/${{ steps.get_branch.outputs.branch }}