Skip to content

Coqupdates/8.19.1

Coqupdates/8.19.1 #35

Workflow file for this run

name: Coq Build
on:
push:
branches: ['main']
pull_request:
branches: ['**'] # for all submitted Pull Requests
jobs:
build:
runs-on: ubuntu-latest
strategy:
matrix:
coq_version:
- '8.16'
- '8.17'
- '8.18'
- '8.19'
- 'dev'
ocaml_version:
- 'default'
fail-fast: false # don't stop jobs if one fails
steps:
- uses: actions/checkout@v3
- uses: coq-community/docker-coq-action@v1
with:
opam_file: 'coq-vicar.opam'
coq_version: ${{ matrix.coq_version }}
ocaml_version: ${{ matrix.ocaml_version }}