Minimize diff between Congress and Congress_Buggy

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

00:02:41

passed #91684
au
coq:8.9

00:02:49

passed #91685
au
coq:dev

00:03:53