Skip to content
Docker CI

Require Sumbool to use it in free_unif.v (#55) #78

Sign in to view logs

Require Sumbool to use it in free_unif.v (#55)

Require Sumbool to use it in free_unif.v (#55) #78

Workflow file for this run

.github/workflows/docker-action.yml at c867546
# following https://github.com/coq-community/huffman/blob/master/.github/workflows/docker-action.yml
# See also:
# https://github.com/coq-community/docker-coq-action#readme
# https://github.com/erikmd/docker-coq-github-action-demo
name: Docker CI
on:
pull_request:
types: [opened, synchronize, edited, reopened]
push:
workflow_dispatch:
jobs:
build:
# the OS must be GNU/Linux to be able to use the docker-coq-action
runs-on: ubuntu-latest
strategy:
matrix:
image:
- 'coqorg/coq:dev'
- 'coqorg/coq:8.20'
- 'coqorg/coq:8.19'
- 'coqorg/coq:8.18'
- 'coqorg/coq:8.17'
- 'coqorg/coq:8.16'
- 'coqorg/coq:8.15'
- 'coqorg/coq:8.14'
fail-fast: false
steps:
- uses: actions/checkout@v4
- uses: coq-community/docker-coq-action@v1
with:
opam_file: 'coq-color.opam'
custom_image: ${{ matrix.image }}