Commit 222409f1 authored by Ralf Jung's avatar Ralf Jung

test Coq 8.11.2

parent cc6085ef
Pipeline #29755 canceled with stage
in 5 minutes and 28 seconds