Commit 862c6904 authored by Ralf Jung's avatar Ralf Jung
Browse files

tweak COQTEST output

parent b1d043ef
Pipeline #15521 passed with stage
in 11 minutes and 12 seconds