Skip to content

Chance license to lgpl since this is what Coq is #140

Chance license to lgpl since this is what Coq is

Chance license to lgpl since this is what Coq is #140

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.11'
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