Skip to content

As agreed, remove the reference to the former CeCILL v2 license (second step) #638

As agreed, remove the reference to the former CeCILL v2 license (second step)

As agreed, remove the reference to the former CeCILL v2 license (second step) #638

Workflow file for this run

name: coq-library-undecidability CI
on:
push:
pull_request:
types: [opened, synchronize, reopened, ready_for_review]
jobs:
build:
runs-on: ubuntu-latest
strategy:
matrix:
coq_version:
- 'dev'
ocaml_version:
- '4.14-flambda'
fail-fast: true
steps:
- name: Checkout code
uses: actions/checkout@v2
with:
fetch-depth: 1
- name: Docker-Coq-Action
uses: coq-community/docker-coq-action@v1
with:
coq_version: ${{ matrix.coq_version }}
ocaml_version: ${{ matrix.ocaml_version }}
before_script: |
startGroup "Workaround permission issue"
sudo chown -R coq:coq . # <--
opam exec -- ocamlfind list
endGroup
before_install: |
startGroup "Print opam config"
sudo chown -R coq:coq .
opam config list; opam repo list; opam list
endGroup
script: |
startGroup "Build project"
opam exec -- make -j 2 all TIMED=1
endGroup
uninstall: |
startGroup "Clean project"
endGroup
- name: Revert permissions
# to avoid a warning at cleanup time
if: ${{ always() }}
run: sudo chown -R 1001:116 . # <--