Outcome analysis: reject repeated configuration names#63

Open

gilles-peskine-arm wants to merge 2 commits intomainfrom dev/gilles-peskine-arm/outcome-check-repeated-configurations-framework

+20-3

Commits on Oct 30, 2024

Detect repeated configuration names
gilles-peskine-arm
committed

Commits on Oct 31, 2024

Improve reporting of repeated configurations
gilles-peskine-arm
committed