Commit 1decaf8d authored by perronet's avatar perronet

Update gitlab CI

parent b7ba22a6
Pipeline #20215 passed with stages
in 3 minutes and 55 seconds
......@@ -60,15 +60,21 @@ doc:
dependencies:
- 1.9.0-coq-8.9
script:
- make html
- make html -j ${NJOBS}
- mv html with-proofs
- make gallinahtml
- make gallinahtml -j ${NJOBS}
- mv html without-proofs
- make htmlpretty -j ${NJOBS}
- mv html with-proofs-pretty
- make gallinahtmlpretty -j ${NJOBS}
- mv html without-proofs-pretty
artifacts:
name: "prosa-spec-$CI_COMMIT_REF_NAME"
paths:
- "with-proofs/"
- "without-proofs/"
- "with-proofs-pretty/"
- "without-proofs-pretty/"
expire_in: 1 week
proof-length:
......
htmlpretty: $(GLOBFILES) $(VFILES)
$(SHOW)'COQDOC -d html $(GAL)--with-header scripts/coqdocjs/header.html --with-footer scripts/coqdocjs/footer.html'
$(SHOW)'COQDOC -d html $(GAL) --with-header scripts/coqdocjs/header.html --with-footer scripts/coqdocjs/footer.html'
$(HIDE)mkdir -p html
$(HIDE)$(COQDOC) \
-toc $(COQDOCFLAGS) \
......
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