Status Name Job Pipeline Stage Duration Coverage
passed doc-classic #106515
dependencies
a0d06522
#39187 by Maxime Lesourd's avatar process

00:00:34

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

00:01:13

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

00:04:08

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

00:02:55

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

00:00:16

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

00:00:09

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

00:03:40

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

00:01:18

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

00:02:36

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

00:02:49

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

00:02:54

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

00:04:41

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

00:00:33

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

00:00:20

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

00:01:12

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

00:00:52

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

00:06:17

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

00:06:22

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

00:00:15

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

00:00:09

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

00:19:34

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

00:02:22

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

00:05:06

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

00:02:20

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

00:06:06

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

00:04:43

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

00:00:32

passed doc #105000
dependencies
322a3c1d
#38715 by Maxime Lesourd's avatar process

00:00:19

passed validate-classic #104999
dependencies
322a3c1d
#38715 by Maxime Lesourd's avatar process

00:01:42

passed validate #104998
dependencies
322a3c1d
#38715 by Maxime Lesourd's avatar process

00:01:07