Commit a8751afc authored by Ralf Jung's avatar Ralf Jung

bump Coq to 8.11.2, and also test Coq 8.12 beta

parent d2bd9890
Pipeline #29743 canceled with stage