Skip to content

Draft: Prove fine-grained target

Benjamin Jorgerequested 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