Skip to content
Snippets Groups Projects
Commit 2e088364 authored by Björn Brandenburg's avatar Björn Brandenburg
Browse files

CI: re-enable parallel builds in proof-state generation

Now that we have non-ambiguous dependencies, parallel builds should
work without issue.
parent 1e45ddeb
No related branches found
No related tags found
1 merge request!67Disambiguate From ... Require Import|Export ...
Pipeline #21781 passed with warnings
......@@ -100,7 +100,7 @@ proof-state:
- ln -s ../scripts/
- ln -s ../_CoqProject
- ../create_makefile.sh
- make
- make -j ${NJOBS}
- make html -j ${NJOBS} COQDOCEXTRAFLAGS=--plain-comments
- mv html ../with-proofs-and-proof-state
artifacts:
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment