Commit bcf15e3d authored by Ralf Jung's avatar Ralf Jung

test against Coq 8.11.2

parent c8835ca6
Pipeline #30334 passed with stage
in 31 minutes and 32 seconds