Status Name Job Pipeline Stage Duration Coverage
passed build-coq.8.11.2 #165872
prefix_lemmas
8d2492d9
fp
#60089 by Jonas Kastberg's avatar build

00:04:30

passed build-coq.8.14.1-mr #165871
prefix_lemmas
8d2492d9
fp
#60089 by Jonas Kastberg's avatar build

00:04:24

passed build-coq.8.11.2 #165869
last_filter_postfix
3ada2331
fp
#60087 by Jonas Kastberg's avatar build

00:04:30

passed build-coq.8.14.1-mr #165868
last_filter_postfix
3ada2331
fp
#60087 by Jonas Kastberg's avatar build

00:04:24

passed build-coq.8.11.2 #165867
last_filter_postfix
1fa4937f
fp
#60086 by Jonas Kastberg's avatar build

00:04:30

passed build-coq.8.14.1-mr #165866
last_filter_postfix
1fa4937f
fp
#60086 by Jonas Kastberg's avatar build

00:04:26

passed build-coq.8.11.2 #165865
prefix_lemmas
844a0f13
fp
#60085 by Jonas Kastberg's avatar build

00:04:30

passed build-coq.8.14.1-mr #165864
prefix_lemmas
844a0f13
fp
#60085 by Jonas Kastberg's avatar build

00:04:23

passed build-coq.8.11.2 #165862
prefix_lemmas
22e7199d
fp
#60083 by Jonas Kastberg's avatar build

00:04:40

passed build-coq.8.14.1-mr #165861
prefix_lemmas
22e7199d
fp
#60083 by Jonas Kastberg's avatar build

00:04:33

passed build-coq.8.11.2 #165813
prefix_lemmas
2a3b29da
fp
#60074 by Jonas Kastberg's avatar build

00:04:31

passed build-coq.8.14.1-mr #165812
prefix_lemmas
2a3b29da
fp
#60074 by Jonas Kastberg's avatar build

00:04:25

passed build-coq.8.11.2 #165811
last_filter_postfix
3c110628
fp
#60073 by Jonas Kastberg's avatar build

00:04:30

passed build-coq.8.14.1-mr #165810
last_filter_postfix
3c110628
fp
#60073 by Jonas Kastberg's avatar build

00:04:24

passed build-coq.8.11.2 #165809
last_filter_postfix
fe795bf4
fp
#60072 by Jonas Kastberg's avatar build

00:04:22

passed build-coq.8.14.1-mr #165808
last_filter_postfix
fe795bf4
fp
#60072 by Jonas Kastberg's avatar build

00:04:14

failed build-coq.8.11.2 #165804
last_filter_postfix
c5900b79
fp
#60069 by Jonas Kastberg's avatar build

00:01:40

passed build-coq.8.14.1-mr #165803
last_filter_postfix
c5900b79
fp
#60069 by Jonas Kastberg's avatar build

00:04:18

passed build-coq.8.11.2 #165753
last_filter_postfix
513ab0b8
fp
#60048 by Jonas Kastberg's avatar build

00:04:40

passed build-coq.8.14.1-mr #165752
last_filter_postfix
513ab0b8
fp
#60048 by Jonas Kastberg's avatar build

00:04:34

passed build-coq.8.11.2 #165744
last_lemma
13ed6a8d
fp
#60044 by Jonas Kastberg's avatar build

00:04:46

passed build-coq.8.14.1-mr #165743
last_lemma
13ed6a8d
fp
#60044 by Jonas Kastberg's avatar build

00:04:39

passed build-coq.8.11.2 #165580
last_lemma
ff2e9a44
fp
#59980 by Jonas Kastberg's avatar build

00:04:38

passed build-coq.8.14.1-mr #165579
last_lemma
ff2e9a44
fp
#59980 by Jonas Kastberg's avatar build

00:05:00

passed build-coq.8.11.2 #165402
list_subseteq_lemmas
1633b3dd
fp
#59928 by Jonas Kastberg's avatar build

00:05:09

passed build-coq.8.14.1-mr #165401
list_subseteq_lemmas
1633b3dd
fp
#59928 by Jonas Kastberg's avatar build

00:05:00

canceled build-coq.8.11.2 #165400
list_subseteq_lemmas
11d2f650
fp
#59927 by Jonas Kastberg's avatar build

00:00:21

canceled build-coq.8.14.1-mr #165399
list_subseteq_lemmas
11d2f650
fp
#59927 by Jonas Kastberg's avatar build

00:00:22

passed build-coq.8.11.2 #165334
last_filter_postfix
ee9589c8
fp
#59914 by Jonas Kastberg's avatar build

00:04:38

passed build-coq.8.14.1-mr #165333
last_filter_postfix
ee9589c8
fp
#59914 by Jonas Kastberg's avatar build

00:04:31