Skip to content

Put mangle-names in a separate CI target

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

This reverts the target name change from !266 (merged) that broke the deployment of the documentation.

Merge request reports