Skip to content

Merge branch 'coq8.11' into coq8.12 #141

Merge branch 'coq8.11' into coq8.12

Merge branch 'coq8.11' into coq8.12 #141

Workflow file for this run

name: CI
on: [push, pull_request]
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- uses: coq-community/[email protected]
with:
opam_file: 'coq-tactician-stdlib.opam'
coq_version: '8.12'
ocaml_version: '4.10-flambda'
install: |
startGroup "Install dependencies"
opam repo add coq-extra-dev https://coq.inria.fr/opam/extra-dev
opam pin add -n -y -k path $PACKAGE $WORKDIR
opam update -y
opam install -y -j 2 $PACKAGE --deps-only
endGroup