Skip to content

Add a CI target testing mangle names

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

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

Merge request reports