Commit df7728e4 authored by Ralf Jung's avatar Ralf Jung
Browse files

test against Coq 8.8.1

parent 1a21e908
Pipeline #10679 passed with stage
in 29 minutes and 27 seconds