Commit e3b46220 authored by Ralf Jung's avatar Ralf Jung

do nightly build against stable Coq

parent b39f5696
Pipeline #6777 passed with stage
in 14 minutes and 46 seconds