Commit 190f468e authored by Björn Brandenburg's avatar Björn Brandenburg
Browse files

CI: compile the tutorial with alectryon

parent 60c139c5
Pipeline #51074 failed with stages
in 6 minutes and 34 seconds
......@@ -203,6 +203,22 @@ doc-classic:
- "pretty/"
expire_in: 1 week
tutorial:
extends:
- .not_in_wip_branches
stage: build
image: bbbrandenburg/alectryon-ci:latest
script:
- eval $(opam env "--switch=${COMPILER_EDGE}" --set-switch)
- ./create_makefile.sh --without-classic
- make -j ${NJOBS} tutorial
- mv html html-tutorial
artifacts:
name: "prosa-tutorial-$CI_COMMIT_REF_NAME"
paths:
- "html-tutorial/"
expire_in: 1 week
proof-state:
extends:
- .not_in_wip_branches
......
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