Skip to content

GitLab

Build with Coq 8.10 as well

4 jobs for master in 7 minutes and 19 seconds (queued for 1 second)
86df9fd4
No related merge requests found.
Status Job ID Name Coverage
  Build
passed #101136
au
coq:8.10

00:03:54

passed #101134
au
coq:8.8

00:03:38

passed #101135
au
coq:8.9

00:03:22

passed #101137
au
coq:dev

00:03:32