Skip to content

Merge pull request #19 from coq-community/dune-0.6 #61

Merge pull request #19 from coq-community/dune-0.6

Merge pull request #19 from coq-community/dune-0.6 #61

Workflow file for this run

# This file was generated from `meta.yml`, please do not edit manually.
# Follow the instructions on https://github.com/coq-community/templates to regenerate.
name: Docker CI
on:
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:
image:
- 'mathcomp/mathcomp-dev:coq-dev'
- 'mathcomp/mathcomp-dev:coq-8.19'
- 'mathcomp/mathcomp-dev:coq-8.18'
- 'mathcomp/mathcomp:2.2.0-coq-8.19'
- 'mathcomp/mathcomp:2.1.0-coq-8.18'
- 'mathcomp/mathcomp:2.1.0-coq-8.17'
- 'mathcomp/mathcomp:2.1.0-coq-8.16'
- 'mathcomp/mathcomp:2.0.0-coq-8.18'
- 'mathcomp/mathcomp:2.0.0-coq-8.17'
- 'mathcomp/mathcomp:2.0.0-coq-8.16'
fail-fast: false
steps:
- uses: actions/checkout@v4
- uses: coq-community/docker-coq-action@v1
with:
custom_image: ${{ matrix.image }}
custom_script: |
{{before_install}}
startGroup "Build gaia-theory-of-sets dependencies"
opam pin add -n -y -k path coq-gaia-theory-of-sets .
opam update -y
opam install -y -j 2 coq-gaia-theory-of-sets --deps-only
endGroup
startGroup "Build gaia-theory-of-sets"
opam install -y -v -j 2 coq-gaia-theory-of-sets
opam list
endGroup
startGroup "Build gaia-schutte dependencies"
opam pin add -n -y -k path coq-gaia-schutte .
opam update -y
opam install -y -j 2 coq-gaia-schutte --deps-only
endGroup
startGroup "Build gaia-schutte"
opam install -y -v -j 2 coq-gaia-schutte
opam list
endGroup
startGroup "Build gaia-ordinals dependencies"
opam pin add -n -y -k path coq-gaia-ordinals .
opam update -y
opam install -y -j 2 coq-gaia-ordinals --deps-only
endGroup
startGroup "Build gaia-ordinals"
opam install -y -v -j 2 coq-gaia-ordinals
opam list
endGroup
startGroup "Build gaia-numbers dependencies"
opam pin add -n -y -k path coq-gaia-numbers .
opam update -y
opam install -y -j 2 coq-gaia-numbers --deps-only
endGroup
startGroup "Build gaia-numbers"
opam install -y -v -j 2 coq-gaia-numbers
opam list
endGroup
startGroup "Build gaia-stern dependencies"
opam pin add -n -y -k path coq-gaia-stern .
opam update -y
opam install -y -j 2 coq-gaia-stern --deps-only
endGroup
startGroup "Build gaia-stern"
opam install -y -v -j 2 coq-gaia-stern
opam list
endGroup
startGroup "Uninstallation test"
opam remove -y coq-gaia-stern
opam remove -y coq-gaia-numbers
opam remove -y coq-gaia-ordinals
opam remove -y coq-gaia-schutte
opam remove -y coq-gaia-theory-of-sets
endGroup
# See also:
# https://github.com/coq-community/docker-coq-action#readme
# https://github.com/erikmd/docker-coq-github-action-demo