Status Job Pipeline Stage Name Timing Coverage
skipped #43898
Optimization
7560ddd5
#20201 by Pascal Fradet's avatar process proof-length
skipped #43897
Optimization
7560ddd5
#20201 by Pascal Fradet's avatar process doc
skipped #43896
Optimization
7560ddd5
#20201 by Pascal Fradet's avatar process validate
passed #43895
Optimization
7560ddd5
#20201 by Pascal Fradet's avatar build 1.9.0-coq-8.9

00:03:48

failed #43894
Optimization
7560ddd5
allowed to fail
#20201 by Pascal Fradet's avatar build 1.9.0-coq-dev

00:00:15

failed #43893
Optimization
7560ddd5
#20201 by Pascal Fradet's avatar build 1.8.0-coq-8.8

00:00:25

skipped #43783
Optimization
5fbc4312
#20167 by Xiaojie Guo's avatar process proof-length
skipped #43782
Optimization
5fbc4312
#20167 by Xiaojie Guo's avatar process doc
skipped #43781
Optimization
5fbc4312
#20167 by Xiaojie Guo's avatar process validate
passed #43780
Optimization
5fbc4312
#20167 by Xiaojie Guo's avatar build 1.9.0-coq-8.9

00:03:45

failed #43779
Optimization
5fbc4312
allowed to fail
#20167 by Xiaojie Guo's avatar build 1.9.0-coq-dev

00:00:14

failed #43778
Optimization
5fbc4312
#20167 by Xiaojie Guo's avatar build 1.8.0-coq-8.8

00:00:24

skipped #43771
Optimization
15d5b530
#20165 by Pascal Fradet's avatar process proof-length
skipped #43770
Optimization
15d5b530
#20165 by Pascal Fradet's avatar process doc
skipped #43769
Optimization
15d5b530
#20165 by Pascal Fradet's avatar process validate
passed #43768
Optimization
15d5b530
#20165 by Pascal Fradet's avatar build 1.9.0-coq-8.9

00:03:58

failed #43767
Optimization
15d5b530
allowed to fail
#20165 by Pascal Fradet's avatar build 1.9.0-coq-dev

00:01:12

failed #43766
Optimization
15d5b530
#20165 by Pascal Fradet's avatar build 1.8.0-coq-8.8

00:00:26

skipped #43241
Optimization
4d701295
#20022 by Pascal Fradet's avatar process proof-length
skipped #43240
Optimization
4d701295
#20022 by Pascal Fradet's avatar process doc
skipped #43239
Optimization
4d701295
#20022 by Pascal Fradet's avatar process validate
passed #43238
Optimization
4d701295
#20022 by Pascal Fradet's avatar build 1.9.0-coq-8.9

00:03:57

failed #43237
Optimization
4d701295
allowed to fail
#20022 by Pascal Fradet's avatar build 1.9.0-coq-dev

00:00:16

failed #43236
Optimization
4d701295
#20022 by Pascal Fradet's avatar build 1.8.0-coq-8.8

00:00:28

skipped #42039
Optimization
3487e196
#19736 by Pascal Fradet's avatar process proof-length
skipped #42038
Optimization
3487e196
#19736 by Pascal Fradet's avatar process doc
skipped #42037
Optimization
3487e196
#19736 by Pascal Fradet's avatar process validate
failed #42036
Optimization
3487e196
#19736 by Pascal Fradet's avatar build 1.9.0-coq-8.9

00:00:27

failed #42035
Optimization
3487e196
allowed to fail
#19736 by Pascal Fradet's avatar build 1.9.0-coq-dev

00:01:13

failed #42034
Optimization
3487e196
#19736 by Pascal Fradet's avatar build 1.8.0-coq-8.8

00:00:27