Status Name Job Pipeline Stage Duration Coverage
passed build-coq.8.15.0 #189354
master
51300b29
fp-timing
#66205 by Ike Mulder's avatar build

00:07:24

passed build-coq.8.14.1 #189353
master
51300b29
fp
#66205 by Ike Mulder's avatar build

00:08:44

passed build-coq.8.13.2 #189352
master
51300b29
fp
#66205 by Ike Mulder's avatar build

00:08:37

passed build-coq.8.15.0 #189072
master
c3eda252
fp-timing
#66157 by Ike Mulder's avatar build

00:07:21

passed build-coq.8.14.1 #189071
master
c3eda252
fp
#66157 by Ike Mulder's avatar build

00:08:32

passed build-coq.8.13.2 #189070
master
c3eda252
fp
#66157 by Ike Mulder's avatar build

00:08:32

passed build-coq.8.15.0 #188994
master
ec9601fe
fp-timing
#66142 by Ike Mulder's avatar build

00:07:24

passed build-coq.8.14.1 #188993
master
ec9601fe
fp
#66142 by Ike Mulder's avatar build

00:08:39

passed build-coq.8.13.2 #188992
master
ec9601fe
fp
#66142 by Ike Mulder's avatar build

00:08:33

passed build-coq.8.15.0 #188824
master
b8c2bcf3
fp-timing
#66064 by Ike Mulder's avatar build

00:13:47

passed build-coq.8.14.1 #188823
master
b8c2bcf3
fp
#66064 by Ike Mulder's avatar build

00:15:16

passed build-coq.8.13.2 #188822
master
b8c2bcf3
fp
#66064 by Ike Mulder's avatar build

00:14:44

passed build-coq.8.15.0 #186879
master
c84cba84
fp-timing
#65546 by Ike Mulder's avatar build

00:09:45

passed build-coq.8.14.1 #186878
master
c84cba84
fp
#65546 by Ike Mulder's avatar build

00:11:04

passed build-coq.8.13.2 #186877
master
c84cba84
fp
#65546 by Ike Mulder's avatar build

00:10:59

failed build-coq.8.15.0 #186815
master
3bcc2d92
fp-timing
#65531 by Ike Mulder's avatar build

00:04:09

failed build-coq.8.14.1 #186814
master
3bcc2d92
fp
#65531 by Ike Mulder's avatar build

00:04:18

failed build-coq.8.13.2 #186813
master
3bcc2d92
fp
#65531 by Ike Mulder's avatar build

00:04:25

passed build-coq.8.15.0 #186162
master
407e78e7
fp-timing
#65425 by Ike Mulder's avatar build

00:12:59

passed build-coq.8.14.1 #186161
master
407e78e7
fp
#65425 by Ike Mulder's avatar build

00:14:20

passed build-coq.8.13.2 #186160
master
407e78e7
fp
#65425 by Ike Mulder's avatar build

00:14:01

passed build-coq.8.15.0 #181697
master
cc95469a
fp-timing
#64297 by Ike Mulder's avatar build

00:07:22

passed build-coq.8.14.1 #181696
master
cc95469a
fp
#64297 by Ike Mulder's avatar build

00:08:28

passed build-coq.8.13.2 #181695
master
cc95469a
fp
#64297 by Ike Mulder's avatar build

00:08:46

passed build-coq.8.15.0 #181685
ci/artifact-pldi2022
deb43c06
fp
#64288 by Ike Mulder's avatar build

00:06:33

passed build-coq.8.14.1 #181684
ci/artifact-pldi2022
deb43c06
fp
#64288 by Ike Mulder's avatar build

00:19:23

passed build-coq.8.13.2 #181683
ci/artifact-pldi2022
deb43c06
fp
#64288 by Ike Mulder's avatar build

00:06:26

passed build-coq.8.15.0 #181630
ci/artifact-pldi2022
3b69a4a0
fp
#64259 by Ike Mulder's avatar build

00:11:55

passed build-coq.8.14.1 #181629
ci/artifact-pldi2022
3b69a4a0
fp
#64259 by Ike Mulder's avatar build

00:19:26

passed build-coq.8.13.2 #181628
ci/artifact-pldi2022
3b69a4a0
fp
#64259 by Ike Mulder's avatar build

00:06:01