Build largecatmodules #23
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: Build largecatmodules | |
| on: | |
| push: | |
| branches: [master] | |
| pull_request: | |
| branches: [master] | |
| # Allows you to run this workflow manually from the Actions tab | |
| workflow_dispatch: | |
| schedule: | |
| # Based on https://github.com/marketplace/actions/set-up-ocaml | |
| # Prime the caches every Monday | |
| - cron: '0 3 * * MON' | |
| env: | |
| DUNE_CACHE_STORAGE_MODE: copy | |
| jobs: | |
| build-largecatmodules: | |
| strategy: | |
| fail-fast: false | |
| matrix: | |
| coq-version: [latest, dev] | |
| ocaml-version: [4.14-flambda] | |
| name: Build with ${{ matrix.coq-version }} | |
| runs-on: ubuntu-22.04 | |
| steps: | |
| # Checkout UniMath in the current directory. | |
| - name: Checkout UniMath | |
| uses: actions/checkout@v4 | |
| with: | |
| repository: UniMath/UniMath | |
| path: . | |
| clean: false | |
| # Checkout TypeTheory in TypeTheory/ | |
| - name: Checkout largecatmodules | |
| uses: actions/checkout@v4 | |
| with: | |
| path: largecatmodules | |
| # Grab the cache if available. We tell dune to use $(pwd)/dune-cache/ in | |
| # the custom_script below. | |
| - uses: actions/cache@v4 | |
| with: | |
| path: dune-cache | |
| key: largecatmodules-coq-${{ matrix.coq-version }}-${{ github.run_id }}-${{ github.run_number }} | |
| restore-keys: | | |
| largecatmodules-coq-${{ matrix.coq-version }}-${{ github.run_id }} | |
| largecatmodules-coq-${{ matrix.coq-version }}- | |
| - name: Build largecatmodules | |
| uses: coq-community/docker-coq-action@v1 | |
| with: | |
| coq_version: ${{ matrix.coq-version }} | |
| ocaml_version: ${{ matrix.ocaml-version }} | |
| custom_script: | | |
| startGroup "Workaround permission issue" | |
| sudo chown -R coq:coq . | |
| endGroup | |
| startGroup "Print versions" | |
| opam --version | |
| opam exec -- dune --version | |
| opam exec -- coqc --version | |
| endGroup | |
| startGroup "Build largecatmodules" | |
| export DUNE_CACHE_ROOT=$(pwd)/dune-cache/ | |
| opam exec -- dune build largecatmodules --display=short \ | |
| --cache=enabled --error-reporting=twice | |
| endGroup | |
| - name: Revert permissions | |
| if: ${{ always() }} | |
| run: sudo chown -R 1001:116 . |