Commit e586fad6 authored by Ralf Jung's avatar Ralf Jung

test against released Coq 8.7; update CI

parent 8a0c449e
Pipeline #5111 passed with stage
in 1 minute and 44 seconds