changelog

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

00:03:01

passed build-coq.8.7.0 #6469
fp-timing

00:06:26

 
  Deploy
passed opam #6471

00:00:15

passed reverse-deps #6472

00:00:14

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

00:03:08