Commit e46457b2 authored by Ralf Jung's avatar Ralf Jung

switch timing to Coq 8.10.1

parent 891124d6
Pipeline #20960 passed with stage
in 28 minutes and 7 seconds