Status Name Job Pipeline Stage Duration Coverage
passed build-coq.8.12.2 #131901
fix-typos
ed623766
fp
#48932 by Paolo G. Giarrusso's avatar build

00:13:26

passed build-coq.dev #131900
fix-typos
ed623766
fp
#48932 by Paolo G. Giarrusso's avatar build

00:12:56

failed build-coq.8.12.2 #131899
modes-broken
51362a58
fp
#48931 by Paolo G. Giarrusso's avatar build

00:09:51

failed build-coq.dev #131898
modes-broken
51362a58
fp
#48931 by Paolo G. Giarrusso's avatar build

00:08:54

passed build-coq.8.12.2 #131783
modes-dist
a02c29ac
fp
#48870 by Paolo G. Giarrusso's avatar build

00:09:32

passed build-coq.dev #131782
modes-dist
a02c29ac
fp
#48870 by Paolo G. Giarrusso's avatar build

00:09:15

failed build-coq.8.12.2 #131718
modes-dist
d7ca071d
fp
#48831 by Paolo G. Giarrusso's avatar build

00:07:37

failed build-coq.dev #131717
modes-dist
d7ca071d
fp
#48831 by Paolo G. Giarrusso's avatar build

00:07:01

failed build-coq.8.12.2 #131708
modes-dist
e4904dd7
fp
#48826 by Paolo G. Giarrusso's avatar build

00:08:22

failed build-coq.dev #131707
modes-dist
e4904dd7
fp
#48826 by Paolo G. Giarrusso's avatar build

00:07:40

passed build-coq.8.12.2 #131483
modes-dist
5690e7c1
fp
#48699 by Paolo G. Giarrusso's avatar build

00:08:17

failed build-coq.dev #131482
modes-dist
5690e7c1
fp
#48699 by Paolo G. Giarrusso's avatar build

00:06:15

passed build-coq.8.12.2 #130952
modes-broken
a4f07a16
fp
#48443 by Paolo G. Giarrusso's avatar build

00:08:27

passed build-coq.dev #130951
modes-broken
a4f07a16
fp
#48443 by Paolo G. Giarrusso's avatar build

00:08:25

passed build-coq.8.12.2 #130836
modes-dist
beebb5e6
fp
#48390 by Paolo G. Giarrusso's avatar build

00:09:59

passed build-coq.dev #130835
modes-dist
beebb5e6
fp
#48390 by Paolo G. Giarrusso's avatar build

00:08:09

canceled build-coq.8.12.2 #130834
modes-dist
2b3d5721
fp
#48389 by Paolo G. Giarrusso's avatar build

00:01:28

canceled build-coq.dev #130833
modes-dist
2b3d5721
fp
#48389 by Paolo G. Giarrusso's avatar build

00:01:29

passed build-coq.8.12.2 #130733
more-modes
b3911c16
fp
#48329 by Paolo G. Giarrusso's avatar build

00:07:54

passed build-coq.dev #130732
more-modes
b3911c16
fp
#48329 by Paolo G. Giarrusso's avatar build

00:07:56

canceled build-coq.8.12.2 #130731
more-modes
b8861598
fp
#48328 by Paolo G. Giarrusso's avatar build

00:00:35

canceled build-coq.dev #130730
more-modes
b8861598
fp
#48328 by Paolo G. Giarrusso's avatar build

00:00:36

passed build-coq.8.12.2 #130723
more-modes
c0248c55
fp
#48321 by Paolo G. Giarrusso's avatar build

00:07:50

passed build-coq.dev #130722
more-modes
c0248c55
fp
#48321 by Paolo G. Giarrusso's avatar build

00:07:43

passed build-coq.8.12.2 #130688
modes-dist
9c26f76a
fp
#48314 by Paolo G. Giarrusso's avatar build

00:08:59

passed build-coq.dev #130687
modes-dist
9c26f76a
fp
#48314 by Paolo G. Giarrusso's avatar build

00:08:49

passed build-coq.8.12.2 #130685
more-modes
b48c3b16
fp
#48312 by Paolo G. Giarrusso's avatar build

00:08:59

passed build-coq.dev #130684
more-modes
b48c3b16
fp
#48312 by Paolo G. Giarrusso's avatar build

00:08:47

passed build-coq.8.12.2 #130630
more-modes
d7a3d157
fp
#48287 by Paolo G. Giarrusso's avatar build

00:08:25

passed build-coq.dev #130629
more-modes
d7a3d157
fp
#48287 by Paolo G. Giarrusso's avatar build

00:08:15