coqdoc fix #24
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: CI | |
| on: [push, pull_request] | |
| env: | |
| OCAML_VERSION: 4.11.0 | |
| CACHE_KEY: opam-8.16-${{github.base_ref}}-${{github.ref}} | |
| jobs: | |
| build-deps: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Try to restore build cache | |
| id: cache | |
| uses: actions/cache@v2 | |
| with: | |
| path: "~/.opam" | |
| key: ${{env.CACHE_KEY}} | |
| restore-keys: | | |
| opam-8.16--refs/heads/${{github.base_ref}} | |
| - name: Install OCaml | |
| uses: avsm/setup-ocaml@v1 | |
| with: | |
| ocaml-version: ${{env.OCAML_VERSION}} | |
| - name: Checkout code | |
| if: steps.cache.outputs.cache-hit != 'true' | |
| uses: actions/checkout@v2 | |
| with: | |
| fetch-depth: 1 | |
| - name: Build dependencies | |
| if: steps.cache.outputs.cache-hit != 'true' | |
| run: | | |
| opam repo add coq-released https://coq.inria.fr/opam/released | |
| opam update | |
| opam upgrade | |
| opam install . --deps-only --with-doc --with-test | |
| opam list --installed | |
| build-full: | |
| needs: build-deps | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Restore build cache | |
| id: cache | |
| uses: actions/cache@v2 | |
| with: | |
| path: "~/.opam" | |
| key: ${{env.CACHE_KEY}} | |
| - name: Check sucess of cache restoration | |
| if: steps.cache.outputs.cache-hit != 'true' | |
| run: exit | |
| - name: Install OCaml | |
| uses: avsm/setup-ocaml@v1 | |
| with: | |
| ocaml-version: ${{env.OCAML_VERSION}} | |
| - name: Checkout code | |
| uses: actions/checkout@v2 | |
| with: | |
| fetch-depth: 1 | |
| - name: Build interfaces (vos) | |
| run: opam exec -- make -j 2 vos TIMED=1 | |
| - name: Build full (vo) | |
| run: opam exec -- make -j 2 all TIMED=1 |