Commit 7cd65053 authored by Ralf Jung's avatar Ralf Jung

tweak COQTEST output

parent 46944241
Pipeline #15520 passed with stage
in 13 minutes and 14 seconds