Commit 2eeebf09 authored by Ralf Jung's avatar Ralf Jung

test against Coq 8.10 beta

parent f1e3d5f2
Pipeline #16726 passed with stage
in 34 minutes and 52 seconds