Commit b2ca5d48 authored by Ralf Jung's avatar Ralf Jung

also time Coq 8.8

parent 10636e80
Pipeline #9952 passed with stage
in 17 minutes and 13 seconds