Commit 905a6df0 authored by Ralf Jung's avatar Ralf Jung

reenable coqchk

parent 45ae06c7
Pipeline #14970 passed with stage
in 8 minutes and 30 seconds