Skip to content

Draft: Prove fine-grained target

Benjamin Jorge requested to merge prove-individual-goals into master

This MR allow to prove more fine-grained target from command line, up to an individual goal

Merge request reports