Commit eee872d9 authored by Björn Brandenburg's avatar Björn Brandenburg

automatically build HTML docs as part of CI

Coqdoc produces really nice output - let's automate this.
parent 60cb1d82
Pipeline #17536 passed with stages
in 5 minutes and 30 seconds
stages:
- build
- process
.build:
stage: build
image: mathcomp/mathcomp:${CI_JOB_NAME}
......@@ -17,7 +21,7 @@
extends: .build
# Keep track of all compiled output and the build infrastructure
artifacts:
name: build-files
name: prosa-build-files
paths:
- _CoqProject
- Makefile
......@@ -44,8 +48,25 @@
expire_in: 1 week
validate:
stage: test
stage: process
image: mathcomp/mathcomp:1.9.0-coq-8.9
dependencies:
- 1.9.0-coq-8.9
script: make validate
doc:
stage: process
image: mathcomp/mathcomp:1.9.0-coq-8.9
dependencies:
- 1.9.0-coq-8.9
script:
- make html
- mv html with-proofs
- make gallinahtml
- mv html without-proofs
artifacts:
name: "prosa-spec-$CI_COMMIT_REF_NAME"
paths:
- "with-proofs/"
- "without-proofs/"
expire_in: 1 week
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