Skip to content

Add a CI target testing mangle names

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

To check that no proof relies on some automatically generated name.

Merge request reports