Revision 55af1d7137f6f339801d3191d646eef5f8f7b064 authored by Raphaël Cauderlier on 06 July 2020, 19:58:50 UTC, committed by Raphaël Cauderlier on 07 July 2020, 08:25:41 UTC
1 parent 12ee2ad
.gitlab-ci.yml
stages:
- build
.build:
stage: build
image: coqorg/${CI_JOB_NAME}
before_script:
- opam switch $COMPILER_EDGE; eval $(opam env)
- opam update -y
- sudo apt-get update -y -q
script:
- sudo chown -R coq:coq "$CI_PROJECT_DIR"
- DEBIAN_FRONTEND=noninteractive sudo apt-get install -y -q xz-utils wget emacs
- export scversion="latest"
- wget -qO- "https://github.com/koalaman/shellcheck/releases/download/latest/shellcheck-"${scversion}".linux.x86_64.tar.xz" | tar -xJv
- shellcheck-"${scversion}"/shellcheck `find -name 'configure'`
- emacs --batch -l scripts/org-lint-README.el --kill
- opam pin add -k git -y --no-action coq-mi-cho-coq .
- opam depext -y coq-mi-cho-coq
- opam install -y -j ${NJOBS} --with-test coq-mi-cho-coq
- which michocoq
coq:8.8:
extends: .build
coq:8.9:
extends: .build
coq:8.10:
extends: .build
coq:8.11:
extends: .build
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...