Commit 6cd6fd08 authored by Ralf Jung's avatar Ralf Jung

bump CI to Coq 8.11.1

parent 53c8c569
Pipeline #26248 passed with stage
in 24 minutes and 6 seconds