Commit f4d3993b authored by Ralf Jung's avatar Ralf Jung

test Coq 8.8.2, and test only that

parent 26b60a28
Pipeline #12716 passed with stage
in 2 minutes and 46 seconds