Status Job Pipeline Stage Name Timing Coverage
skipped #106516
dependencies
a0d06522
#39187 by Maxime Lesourd's avatar process proof-state
passed #106515
dependencies
a0d06522
#39187 by Maxime Lesourd's avatar process doc-classic

00:00:34

skipped #106514
dependencies
a0d06522
#39187 by Maxime Lesourd's avatar process doc
passed #106513
dependencies
a0d06522
#39187 by Maxime Lesourd's avatar process validate-classic

00:01:13

skipped #106512
dependencies
a0d06522
#39187 by Maxime Lesourd's avatar process validate
failed #106511
dependencies
a0d06522
allowed to fail
#39187 by Maxime Lesourd's avatar build coq-dev

00:04:08

failed #106510
dependencies
a0d06522
allowed to fail
#39187 by Maxime Lesourd's avatar build coq-8.12

00:02:55

failed #106509
dependencies
a0d06522
#39187 by Maxime Lesourd's avatar build spell-check

00:00:16

failed #106508
dependencies
a0d06522
#39187 by Maxime Lesourd's avatar build proof-length

00:00:09

passed #106507
dependencies
a0d06522
#39187 by Maxime Lesourd's avatar build build-for-process-classic

00:03:40

failed #106506
dependencies
a0d06522
#39187 by Maxime Lesourd's avatar build build-for-process

00:01:18

failed #106505
dependencies
a0d06522
#39187 by Maxime Lesourd's avatar build 1.11.0-coq-8.12

00:02:36

failed #106504
dependencies
a0d06522
#39187 by Maxime Lesourd's avatar build 1.11.0-coq-8.11

00:02:49

failed #106503
dependencies
a0d06522
#39187 by Maxime Lesourd's avatar build 1.10.0-coq-8.11

00:02:54

passed #105752
dependencies
ab65c06b
#38985 by Maxime Lesourd's avatar process proof-state

00:04:41

passed #105751
dependencies
ab65c06b
#38985 by Maxime Lesourd's avatar process doc-classic

00:00:33

passed #105750
dependencies
ab65c06b
#38985 by Maxime Lesourd's avatar process doc

00:00:20

passed #105749
dependencies
ab65c06b
#38985 by Maxime Lesourd's avatar process validate-classic

00:01:12

passed #105748
dependencies
ab65c06b
#38985 by Maxime Lesourd's avatar process validate

00:00:52

passed #105747
dependencies
ab65c06b
#38985 by Maxime Lesourd's avatar build coq-dev

00:06:17

passed #105746
dependencies
ab65c06b
#38985 by Maxime Lesourd's avatar build coq-8.12

00:06:22

failed #105745
dependencies
ab65c06b
#38985 by Maxime Lesourd's avatar build spell-check

00:00:15

passed #105744
dependencies
ab65c06b
#38985 by Maxime Lesourd's avatar build proof-length

00:00:09

passed #105743
dependencies
ab65c06b
#38985 by Maxime Lesourd's avatar build build-for-process-classic

00:19:34

passed #105742
dependencies
ab65c06b
#38985 by Maxime Lesourd's avatar build build-for-process

00:02:22

passed #105741
dependencies
ab65c06b
#38985 by Maxime Lesourd's avatar build 1.11.0-coq-8.12

00:05:06

failed #105740
dependencies
ab65c06b
#38985 by Maxime Lesourd's avatar build 1.11.0-coq-8.11

00:02:20

passed #105739
dependencies
ab65c06b
#38985 by Maxime Lesourd's avatar build 1.10.0-coq-8.11

00:06:06

passed #105002
dependencies
322a3c1d
#38715 by Maxime Lesourd's avatar process proof-state

00:04:43

passed #105001
dependencies
322a3c1d
#38715 by Maxime Lesourd's avatar process doc-classic

00:00:32