Skip to content
Commit c7528c46 authored by Andreas Klöckner's avatar Andreas Klöckner
Browse files

Demote Maxima finding to a test-only thing

parent ed934e03
Pipeline #12011 failed with stage
in 7 minutes and 13 seconds