Commit 2044cfbe authored by Ralf Jung's avatar Ralf Jung

do nightly build against Coq 8.10 branch

parent 43d7f211
Pipeline #16949 failed with stage
in 19 minutes and 30 seconds