Some lemmas about discreteness.

5 jobs for master in 6 minutes and 2 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #5986
fp-timing
build-coq.8.6.1

00:02:56

passed #5985
fp-timing
build-coq.8.7.0

00:02:46

passed #5984
fp-timing
build-coq.8.7.dev

00:03:06

 
  Deploy
passed #5987
opam

00:00:14

passed #5988
reverse-deps

00:00:13