Status Name Job Pipeline Stage Duration Coverage
passed build-coq.8.15.0 #194693
ci/lob_transformer
50e23a57
fp-timing
#68053 by Ike Mulder's avatar build

00:07:46

passed build-coq.8.14.1 #194692
ci/lob_transformer
50e23a57
fp
#68053 by Ike Mulder's avatar build

00:09:02

passed build-coq.8.13.2 #194691
ci/lob_transformer
50e23a57
fp
#68053 by Ike Mulder's avatar build

00:09:04

passed build-coq.8.15.0 #194683
ci/lob_transformer
e9a36872
fp-timing
#68048 by Ike Mulder's avatar build

00:08:21

passed build-coq.8.14.1 #194682
ci/lob_transformer
e9a36872
fp
#68048 by Ike Mulder's avatar build

00:09:46

passed build-coq.8.13.2 #194681
ci/lob_transformer
e9a36872
fp
#68048 by Ike Mulder's avatar build

00:08:57

passed build-coq.8.15.0 #194613
master
cdfbe8f6
fp-timing
#68033 by Ike Mulder's avatar build

00:06:56

passed build-coq.8.14.1 #194612
master
cdfbe8f6
fp
#68033 by Ike Mulder's avatar build

00:08:20

passed build-coq.8.13.2 #194611
master
cdfbe8f6
fp
#68033 by Ike Mulder's avatar build

00:07:52

passed build-coq.8.15.0 #194565
ci/moreexternal
ccd4fa95
fp-timing
#68012 by Ike Mulder's avatar build

00:12:23

passed build-coq.8.14.1 #194564
ci/moreexternal
ccd4fa95
fp
#68012 by Ike Mulder's avatar build

00:13:53

passed build-coq.8.13.2 #194563
ci/moreexternal
ccd4fa95
fp
#68012 by Ike Mulder's avatar build

00:14:12

failed build-coq.8.15.0 #194533
ci/moreexternal
5adaacf8
fp-timing
#68005 by Ike Mulder's avatar build

00:11:36

failed build-coq.8.14.1 #194532
ci/moreexternal
5adaacf8
fp
#68005 by Ike Mulder's avatar build

00:12:47

failed build-coq.8.13.2 #194531
ci/moreexternal
5adaacf8
fp
#68005 by Ike Mulder's avatar build

00:13:37

passed build-coq.8.15.0 #193205
master
e2ec7dcb
fp-timing
#67522 by Ike Mulder's avatar build

00:12:57

passed build-coq.8.14.1 #193204
master
e2ec7dcb
fp
#67522 by Ike Mulder's avatar build

00:14:17

passed build-coq.8.13.2 #193203
master
e2ec7dcb
fp
#67522 by Ike Mulder's avatar build

00:14:00

passed build-coq.8.15.0 #192136
ci/lob_transformer
97bdda19
fp-timing
#67148 by Ike Mulder's avatar build

00:07:36

passed build-coq.8.14.1 #192135
ci/lob_transformer
97bdda19
fp
#67148 by Ike Mulder's avatar build

00:08:25

failed build-coq.8.13.2 #192134
ci/lob_transformer
97bdda19
fp
#67148 by Ike Mulder's avatar build

00:11:36

passed build-coq.8.15.0 #191940
ci/lob_transformer
d2866f65
fp-timing
#67042 by Ike Mulder's avatar build

00:07:38

passed build-coq.8.14.1 #191939
ci/lob_transformer
d2866f65
fp
#67042 by Ike Mulder's avatar build

00:08:27

failed build-coq.8.13.2 #191938
ci/lob_transformer
d2866f65
fp
#67042 by Ike Mulder's avatar build

00:11:35

passed build-coq.8.15.0 #191299
ci/lob_transformer
0e546e7b
fp-timing
#66761 by Ike Mulder's avatar build

00:14:44

passed build-coq.8.14.1 #191298
ci/lob_transformer
0e546e7b
fp
#66761 by Ike Mulder's avatar build

00:16:05

failed build-coq.8.13.2 #191297
ci/lob_transformer
0e546e7b
fp
#66761 by Ike Mulder's avatar build

00:13:26

failed build-coq.8.15.0 #191290
ci/lob_transformer
4465e07c
fp-timing
#66755 by Ike Mulder's avatar build

00:12:21

failed build-coq.8.14.1 #191289
ci/lob_transformer
4465e07c
fp
#66755 by Ike Mulder's avatar build

00:13:25

failed build-coq.8.13.2 #191288
ci/lob_transformer
4465e07c
fp
#66755 by Ike Mulder's avatar build

00:13:09