WIP

3 jobs for julien@test-CI in 8 minutes and 12 seconds (queued for 1 second)
latest
Status Job ID Name Coverage
  Build
passed #513533446
coq

00:08:12

passed #513533443
coq:8.8

00:07:11

passed #513533445
coq:8.9

00:08:09