Status Name Job Pipeline Stage Duration Coverage
passed build-coq.8.10.2 #130599
master
b84fcb1e
fp
#48277 by Jan's avatar build

00:04:56

passed build-coq.8.13.2-mr #130598
master
b84fcb1e
fp
#48277 by Jan's avatar build

00:04:32

passed build-coq.8.10.2 #130595
master
fecd9cf4
fp
#48275 by Jan's avatar build

00:04:30

passed build-coq.8.13.2-mr #130594
master
fecd9cf4
fp
#48275 by Jan's avatar build

00:04:10

canceled build-coq.8.10.2 #130593
master
09d8a70f
fp
#48274 by Jan's avatar build

00:01:24

canceled build-coq.8.13.2-mr #130592
master
09d8a70f
fp
#48274 by Jan's avatar build

00:01:25

passed build-coq.8.10.2 #130590
master
1ab781af
fp
#48272 by Jan's avatar build

00:04:43

passed build-coq.8.13.2-mr #130589
master
1ab781af
fp
#48272 by Jan's avatar build

00:09:28

passed build-coq.8.10.2 #130585
master
b1d1901f
fp
#48270 by Jan's avatar build

00:05:07

failed build-coq.8.13.2-mr #130584
master
b1d1901f
fp
#48270 by Jan's avatar build

00:07:08

passed build-coq.8.10.2 #130582
master
98d8b4e7
fp
#48268 by Jan's avatar build

00:09:57

failed build-coq.8.13.2-mr #130581
master
98d8b4e7
fp
#48268 by Jan's avatar build

00:07:32