Commit bfdb1cdf authored by Ralf Jung's avatar Ralf Jung

do the nightly build against Coq master

parent d7fd78fd
Pipeline #16829 failed with stage
in 1 minute and 38 seconds