Status Name Job Pipeline Stage Duration Coverage
passed build-coq.8.11.2 #166611
coq-pr-15518
5619246d
fp
#60445 by Matthieu Sozeau's avatar build

00:04:54

passed build-coq.8.14.1-mr #166610
coq-pr-15518
5619246d
fp
#60445 by Matthieu Sozeau's avatar build

00:09:05

failed build-coq.8.11.2 #166563
coq-pr-15518
5267ea64
fp
#60424 by Matthieu Sozeau's avatar build

00:01:47

failed build-coq.8.14.1-mr #166562
coq-pr-15518
5267ea64
fp
#60424 by Matthieu Sozeau's avatar build

00:06:09

passed build-coq.8.11.2 #165703
pr-13969-take3
4dd6ec09
fp
#60024 by Matthieu Sozeau's avatar build

00:04:47

passed build-coq.8.14.1-mr #165702
pr-13969-take3
4dd6ec09
fp
#60024 by Matthieu Sozeau's avatar build

00:04:37

canceled build-coq.8.11.2 #165699
pr-13969-take3
4bff5395
fp
#60022 by Matthieu Sozeau's avatar build

00:01:53

canceled build-coq.8.14.1-mr #165698
pr-13969-take3
4bff5395
fp
#60022 by Matthieu Sozeau's avatar build

00:01:55

passed build-coq.8.11.2 #165696
pr-13969-take3
36bc5009
fp
#60020 by Matthieu Sozeau's avatar build

00:04:55

passed build-coq.8.14.1-mr #165695
pr-13969-take3
36bc5009
fp
#60020 by Matthieu Sozeau's avatar build

00:04:49

failed build-coq.8.11.2 #165694
pr-13969-take3
7ab55dc0
fp
#60019 by Matthieu Sozeau's avatar build

00:01:28

failed build-coq.8.14.1-mr #165693
pr-13969-take3
7ab55dc0
fp
#60019 by Matthieu Sozeau's avatar build

00:01:29

canceled build-coq.8.11.2 #165692
pr-13969-take3
aaae68c7
fp
#60018 by Matthieu Sozeau's avatar build

00:04:41

canceled build-coq.8.14.1-mr #165691
pr-13969-take3
aaae68c7
fp
#60018 by Matthieu Sozeau's avatar build

00:04:45

passed build-coq.8.11.2 #165574
pr-13969-take2
570598da
fp
#59977 by Matthieu Sozeau's avatar build

00:11:28

passed build-coq.8.14.1-mr #165573
pr-13969-take2
570598da
fp
#59977 by Matthieu Sozeau's avatar build

00:12:12

passed build-coq.8.10.2 #165099
coq-13969
c355607c
fp
#59846 by Matthieu Sozeau's avatar build

00:04:57

passed build-coq.8.13.2-mr #165098
coq-13969
c355607c
fp
#59846 by Matthieu Sozeau's avatar build

00:04:25

passed build-coq.8.10.2 #164512
coq-13969
bbdbb1c1
fp
#59640 by Matthieu Sozeau's avatar build

00:04:35

passed build-coq.8.13.2-mr #164511
coq-13969
bbdbb1c1
fp
#59640 by Matthieu Sozeau's avatar build

00:04:15

passed build-coq.8.10.2 #162197
coq-13969
3671f349
fp
#58841 by Matthieu Sozeau's avatar build

00:04:39

passed build-coq.8.13.2-mr #162196
coq-13969
3671f349
fp
#58841 by Matthieu Sozeau's avatar build

00:07:13

passed build-coq.8.10.2 #130262
coq-13969
b144619d
fp
#48084 by Matthieu Sozeau's avatar build

00:04:48

passed build-coq.8.13.2-mr #130261
coq-13969
b144619d
fp
#48084 by Matthieu Sozeau's avatar build

00:04:27

passed build-coq.8.10.2 #130259
coq-13969
ebfc8b93
fp
#48082 by Matthieu Sozeau's avatar build

00:08:54

passed build-coq.8.13.2-mr #130258
coq-13969
ebfc8b93
fp
#48082 by Matthieu Sozeau's avatar build

00:09:13