Status Name Job Pipeline Stage Duration Coverage
passed build-coq.8.15.0 #195164
master
376d79b5
fp-timing
#68249 by Ike Mulder's avatar build

00:07:47

passed build-coq.8.14.1 #195163
master
376d79b5
fp
#68249 by Ike Mulder's avatar build

00:09:06

passed build-coq.8.13.2 #195162
master
376d79b5
fp
#68249 by Ike Mulder's avatar build

00:08:53

passed build-coq.8.15.0 #195138
master
0fc734be
fp-timing
#68232 by Ike Mulder's avatar build

00:07:48

passed build-coq.8.14.1 #195137
master
0fc734be
fp
#68232 by Ike Mulder's avatar build

00:08:55

passed build-coq.8.13.2 #195136
master
0fc734be
fp
#68232 by Ike Mulder's avatar build

00:08:41

passed build-coq.8.15.0 #195135
ci/lob_transformer
0fc734be
fp-timing
#68231 by Ike Mulder's avatar build

00:07:51

passed build-coq.8.14.1 #195134
ci/lob_transformer
0fc734be
fp
#68231 by Ike Mulder's avatar build

00:08:50

passed build-coq.8.13.2 #195133
ci/lob_transformer
0fc734be
fp
#68231 by Ike Mulder's avatar build

00:09:03

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