Verified Commit 0ce20417 authored by Julien's avatar Julien
Browse files

WIP

parent d320f8dc
Pipeline #136589369 passed with stage
in 8 minutes and 12 seconds
stages:
- build
- a
- b
.build:
stage: build
image: coqorg/${CI_JOB_NAME}
......@@ -20,6 +22,30 @@ stages:
- opam install -y -j ${NJOBS} dune coq-mi-cho-coq
- opam pin add -k git -y -j ${NJOBS} --with-test albert ./
.pb1:
stage: a
script:
- echo "1" > a1
- echo "1" >> a
.pb2:
stage: a
script:
- echo "2" > a2
- echo "2" >> a
.pb3:
stage: a
script:
- echo "3" > a3
- echo "3" >> a
.end:
stage: b
script:
- cat a
- cat a1
- cat a2
- cat a3
coq:8.8:
extends: .build
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment