Skip to content
Snippets Groups Projects
Commit 59641013 authored by Björn Brandenburg's avatar Björn Brandenburg
Browse files

CI: automatically check validation output for unexpected axioms 

Closes #79
parent 29556ed5
No related branches found
No related tags found
No related merge requests found
Pipeline #54726 passed with warnings
Stage: build
Stage: process