Commit 6db2ae8e authored by Ralf Jung's avatar Ralf Jung

fix CI testing for axioms in build output

parent fbf07f03
Pipeline #3604 passed with stage
in 10 minutes and 30 seconds