Skip to content

Split OPAM packages

Pierre Roux requested to merge proux1/rt-proofs:split_opam_packages into master

This should make CI failures faster by compiling most of Prosa (the coq-prosa OPAM package) before compiling the dependencies (CoqEAL) and the remaining (coq-prosa-refinements package).

Merge request reports