Skip to content

GitLab

I
Iris

add an interesting test output

4 jobs for gen_proofmode in 27 minutes and 10 seconds (queued for 3 seconds)
8f319109
1 related merge request: !66 Generalized proofmode
Status Job ID Name Coverage
  Build
passed #13218
fp
build-coq.8.7.1

00:11:01

passed #13217
fp-timing
build-coq.8.7.2

00:08:39

passed #13216
fp-timing
build-coq.8.8.0

00:08:30

passed #13215
fp
build-coq.dev

00:27:07