Skip to content

Add the YAML witness validator Witch

Paulína Ayaziová requested to merge witch-validator into main

Add files for the new validator of violation witnesses in YAML, Witch 3.

Merge request reports