Commit 03de4677 authored by Ralf Jung's avatar Ralf Jung

experiment: do nightly build against Coq master

parent 3e5ac00c
Pipeline #16691 failed with stage
in 15 minutes and 55 seconds