Commit f8f664fe authored by Ralf Jung's avatar Ralf Jung

switch CI to Coq 8.10.1

parent 9612d208
Pipeline #20959 failed with stage
in 3 minutes and 30 seconds