changelog

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

00:03:01

passed #6469
fp-timing
build-coq.8.7.0

00:06:26

 
  Deploy
passed #6471
opam

00:00:15

passed #6472
reverse-deps

00:00:14

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

00:03:08