Update for dev Coq

3 jobs for master in 5 minutes and 21 seconds (queued for 2 seconds)
Status Name Job ID Coverage
  Build
passed coq:8.8 #83764
au

00:02:49

passed coq:8.9 #83765
au

00:02:41

passed coq:dev #83766
au

00:02:39