deny warnings

2 jobs for master in 8 minutes and 37 seconds (queued for 5 minutes and 43 seconds)
Status Job ID Name Coverage
  Build
passed #88761
fp
build-coq.8.11.2

00:04:07

passed #88760
fp-timing
build-coq.8.12.0

00:04:30