Skip to content

GitLab

test Coq beta branch (since master is broken)

1 job for master in 19 minutes and 55 seconds (queued for 8 minutes and 42 seconds)
1226aa9c
No related merge requests found.
Status Job ID Name Coverage
  Build
passed #110877
fp
build-iris.dev

00:19:55