Status | Name | Job | Pipeline | Stage | Duration | Coverage | |
---|---|---|---|---|---|---|---|
passed | build-coq.8.10.2 |
#123137
fp
|
#44976
by
|
build |
00:13:09
|
|
|
passed | build-coq.8.10.2 |
#106556
fp
|
#39194
by
|
build |
00:16:27
|
|
|
passed | build-coq.8.10.2 |
#105202
fp
|
#38800
by
|
build |
00:13:07
|
|
|
passed | build-coq.8.10.2 |
#104498
fp
|
#38571
by
![]() |
build |
00:19:24
|
|
|
canceled | build-coq.8.10.2 |
#104497
fp-timing
|
#38570
by
|
build |
|
|