Skip to content

GitLab

Show the proven property immediately in the README

3 jobs for master in 5 minutes and 35 seconds (queued for 1 second)
86b9f7c1
No related merge requests found.
Status Job ID Name Coverage
  Build
passed #93324
au
coq:8.8

00:02:53

passed #93325
au
coq:8.9

00:02:48

passed #93326
au
coq:dev

00:02:43