Commit fd7f5e42 authored by Ralf Jung's avatar Ralf Jung

bump CI to Coq 8.12.1

parent 41b8ca41
Pipeline #38706 passed with stage
in 10 minutes and 47 seconds