Commit a27a4f86 authored by Ralf Jung's avatar Ralf Jung

print the version of Coq that was used

parent f81b0ff3
Pipeline #2164 passed with stage