refer to journal paper

5 jobs for master in 9 minutes and 3 seconds (queued for 16 seconds)
Status Job ID Name Coverage
  Build
passed #6484
fp-timing
build-coq.8.6.1

00:02:58

passed #6483
fp-timing
build-coq.8.7.0

00:02:45

 
  Deploy
passed #6485
opam

00:00:14

passed #6486
reverse-deps

00:00:14

 
  Build More
passed #6487
fp-timing
build-coq.8.7.dev

00:03:03