Adapt to coq/coq#18939 (Unification Firstorder Function Conversion off) #222
Workflow file for this run
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
# Beware not to destroy this file when regenerating it from meta.yml | |
name: Docker CI | |
on: | |
# schedule: | |
# - cron: '0 4 * * *' | |
push: | |
branches: | |
- master | |
pull_request: | |
branches: | |
- '**' | |
jobs: | |
build: | |
# the OS must be GNU/Linux to be able to use the docker-coq-action | |
runs-on: ubuntu-latest | |
strategy: | |
matrix: | |
coq_version: | |
- 'dev' | |
image: | |
# we can't use coqorg/coq images to test bignums | |
# since these images already include coq-bignums | |
- 'coqorg/base:4.13.1-flambda' | |
fail-fast: false | |
steps: | |
- uses: actions/checkout@v3 | |
- uses: coq-community/docker-coq-action@v1 | |
with: | |
opam_file: 'coq-bignums.opam' | |
custom_image: ${{ matrix.image }} | |
install: | | |
startGroup "Install coq and dependencies" | |
sudo apt-get update -y -q | |
opam remove -y coq-bignums || true # remove coq-bignums if ever in image | |
opam repository add --all-switches --set-default coq-extra-dev https://coq.inria.fr/opam/extra-dev # docker-coq | |
opam repository add --all-switches --set-default coq-core-dev https://coq.inria.fr/opam/core-dev # docker-coq | |
opam pin add -n -y -k version coq ${{ matrix.coq_version }} # docker-coq | |
opam pin add -n -y -k path $PACKAGE.dev $WORKDIR | |
opam update -y | |
opam install --confirm-level=unsafe-yes -j 2 $PACKAGE --deps-only | |
endGroup | |
export: 'OPAMWITHTEST' | |
env: | |
OPAMWITHTEST: 'true' | |
# See also: | |
# https://github.com/coq-community/docker-coq-action#readme | |
# https://github.com/erikmd/docker-coq-github-action-demo |