reenable coqchk

8 jobs for master in 8 minutes and 30 seconds (queued for 1 second)
Status Name Job ID Coverage
  Build
passed build-coq.8.7.0 #25002
fp

00:02:48

passed build-coq.8.7.1 #25001
fp

00:02:43

passed build-coq.8.7.2 #25000
fp

00:02:42

passed build-coq.8.8.0 #24999
fp-timing

00:02:41

passed build-coq.8.8.1 #24998
fp

00:03:01

passed build-coq.8.8.2 #24997
fp

00:02:52

passed build-coq.8.9.0 #24996
fp-timing

00:03:18

passed build-coq.dev #24995
fp

00:08:12