Commit 62b4f945 authored by Ralf Jung's avatar Ralf Jung

nightly build against Coq 8.10 branch

parent f410e4e7
Pipeline #20933 passed with stage
in 14 minutes and 22 seconds