Skip to content

GitLab

update table

1 job for ci/pldi21-submission-artifact in 19 minutes and 10 seconds (queued for 1 minute and 52 seconds)
latest
092a447f
No related merge requests found.
Status Name Job ID Coverage
  Build
passed build-coq.8.12.0 #120599
fp-timing

00:19:10