Status Name Job Pipeline Stage Duration Coverage
passed build-coq.8.14.1 #166057
logatom
108dbe94
fp
#60178 by Ike Mulder's avatar build

00:07:36

passed build-coq.8.14.1 #165873
logatom
a326ce75
fp
#60090 by Ike Mulder's avatar build

00:07:34

passed build-coq.8.14.1 #165635
logatom
fea67a83
fp
#59996 by Ike Mulder's avatar build

00:07:25

passed build-coq.8.14.1 #165413
logatom
c4672dbf
fp
#59935 by Ike Mulder's avatar build

00:07:23

passed build-coq.8.14.1 #165309
logatom
553cc8cd
fp
#59903 by Ike Mulder's avatar build

00:07:20

passed build-coq.8.14.1 #165253
logatom
74ac4520
fp
#59885 by Ike Mulder's avatar build

00:07:16

failed build-coq.8.14.1 #165246
logatom
0613dde7
fp
#59881 by Ike Mulder's avatar build

00:05:53

passed build-coq.8.14.1 #164970
logatom
6e436bcb
fp
#59788 by Ike Mulder's avatar build

00:11:55

passed build-coq.8.14.1 #164899
master
326964bd
fp
#59777 by Ike Mulder's avatar build

00:31:01

passed build-coq.8.13.2 #164898
master
326964bd
fp
#59777 by Ike Mulder's avatar build

00:31:50

failed build-coq.8.14.1 #164891
master
8a0e7272
fp
#59772 by Ike Mulder's avatar build

00:30:07

failed build-coq.8.13.2 #164890
master
8a0e7272
fp
#59772 by Ike Mulder's avatar build

00:31:13

failed build-coq.8.13.2 #164882
master
c5b5b292
fp
#59767 by Ike Mulder's avatar build

00:06:54

failed build-coq.8.13.2 #164879
master
aef382d0
fp
#59764 by Ike Mulder's avatar build

00:01:34

failed build-coq.8.13.2 #164878
master
5ff59621
fp
#59763 by Ike Mulder's avatar build

00:01:31

failed build-coq.8.13.2 #164877
master
3bbda562
fp
#59762 by Ike Mulder's avatar build

00:02:06

canceled build-coq.8.13.2 #154997
ci-setup
21aa63f7
fp
#56431 by Ike Mulder's avatar build

00:34:01

failed build-coq.8.13.2 #154985
ci-setup
21aa63f7
fp
#56431 by Ike Mulder's avatar build

01:00:01

failed build-coq.8.13.2 #154953
ci-setup
248d6d1c
fp
#56424 by Ike Mulder's avatar build

00:14:17

failed build-coq.8.13.2 #154950
master
e560fb08
fp
#56422 by Ike Mulder's avatar build

00:02:50