Skip to main content

Browse the archive

https://gitlab.com/nomadic-labs/mi-cho-coq
08 June 2021, 12:39:06 UTC
Revision 1cfd656eb5a5ba19395bcf9587a5efe7a528ce32 authored by Raphael Cauderlier on 18 March 2019, 09:12:44 UTC, committed by Raphaël Cauderlier on 22 October 2019, 14:18:30 UTC 
[Micheline] Micheline lexer
1 parent 2a4adc7
Raw File
Tip revision: 1cfd656eb5a5ba19395bcf9587a5efe7a528ce32 authored by Raphael Cauderlier on 18 March 2019, 09:12:44 UTC
[Micheline] Micheline lexer
Tip revision: 1cfd656
.gitlab-ci.yml 
stages:
  - build

.build:
  stage: build
  image: coqorg/${CI_JOB_NAME}
  before_script:
    - 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://storage.googleapis.com/shellcheck/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 -j ${NJOBS} mi-cho-coq .

coq:8.8:
  extends: .build

coq:8.9:
  extends: .build
back to top