Commit 72db5f43 authored by Ralf Jung's avatar Ralf Jung

move timing to Coq 8.12

parent 95fdd1ce
Pipeline #38785 passed with stage
in 27 minutes and 44 seconds