Skip to content

[CI] Don't recompile mathcomp solvable and field

Pierre Rouxrequested to merge
proux1/rt-proofs:ci_no_recompile into master

Those weren't needed before we depend on coqeal but now are.

Merge request reports