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

CI: test against Coq 8.7.2

parent be5fe2c5
Pipeline #6958 passed with stage
in 10 minutes and 54 seconds