Commit b8a521c8 authored by Ralf Jung's avatar Ralf Jung
Browse files

bump the Coq we test

parent fd896349
Pipeline #65778 failed with stage
in 19 minutes and 29 seconds