| Status | Name | Job | Pipeline | Stage | Duration | Coverage | |
|---|---|---|---|---|---|---|---|
| passed | build-coq.8.10.2 |
#134876
fp
|
#50364
by
|
build |
00:09:25
|
|
|
| passed | build-coq.8.13.2-mr |
#134875
fp
|
#50364
by
|
build |
00:09:39
|
|
| Status | Name | Job | Pipeline | Stage | Duration | Coverage | |
|---|---|---|---|---|---|---|---|
| passed | build-coq.8.10.2 |
#134876
fp
|
#50364
by
|
build |
00:09:25
|
|
|
| passed | build-coq.8.13.2-mr |
#134875
fp
|
#50364
by
|
build |
00:09:39
|
|