Commit cc6085ef authored by Ralf Jung's avatar Ralf Jung

test Coq 8.12 beta

parent 842e3f65
Pipeline #29754 canceled with stage
in 1 minute and 16 seconds