Minimize diff between Congress and Congress_Buggy

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

00:02:41

passed coq:8.9 #91684
au

00:02:49

passed coq:dev #91685
au

00:03:53