Skip to content

GitLab

Describe structure of the project

3 jobs for master in 5 minutes and 40 seconds
795517a7
No related merge requests found.
Status Job ID Name Coverage
  Build
passed #93318
au
coq:8.8

00:03:00

passed #93319
au
coq:8.9

00:02:53

passed #93320
au
coq:dev

00:02:45