Status Job Pipeline Stage Name Timing Coverage
passed #121043
critical_sections
b0a077b7
#44156 by ptorrx's avatar process proof-state

00:19:05

passed #121042
critical_sections
b0a077b7
#44156 by ptorrx's avatar process doc-classic

00:00:29

passed #121041
critical_sections
b0a077b7
#44156 by ptorrx's avatar process doc

00:00:16

passed #121040
critical_sections
b0a077b7
#44156 by ptorrx's avatar process validate-classic

00:01:12

passed #121039
critical_sections
b0a077b7
#44156 by ptorrx's avatar process validate

00:00:50

passed #121038
critical_sections
b0a077b7
#44156 by ptorrx's avatar build coq-dev

00:04:06

passed #121037
critical_sections
b0a077b7
#44156 by ptorrx's avatar build coq-8.13

00:03:12

failed #121036
critical_sections
b0a077b7
#44156 by ptorrx's avatar build spell-check

00:00:19

passed #121035
critical_sections
b0a077b7
#44156 by ptorrx's avatar build proof-length

00:00:25

passed #121034
critical_sections
b0a077b7
#44156 by ptorrx's avatar build build-for-process-classic

00:02:52

passed #121033
critical_sections
b0a077b7
#44156 by ptorrx's avatar build build-for-process

00:01:36

passed #121032
critical_sections
b0a077b7
#44156 by ptorrx's avatar build 1.12.0-coq-8.13

00:04:34

passed #121031
critical_sections
b0a077b7
#44156 by ptorrx's avatar build 1.11.0-coq-8.12

00:03:41

passed #121030
critical_sections
b0a077b7
#44156 by ptorrx's avatar build 1.11.0-coq-8.11

00:04:25

passed #121029
critical_sections
b0a077b7
#44156 by ptorrx's avatar build 1.10.0-coq-8.11

00:04:24

passed #120972
critical_sections
60331ac2
#44125 by ptorrx's avatar process proof-state

00:02:21

passed #120971
critical_sections
60331ac2
#44125 by ptorrx's avatar process doc-classic

00:00:29

passed #120970
critical_sections
60331ac2
#44125 by ptorrx's avatar process doc

00:00:20

passed #120969
critical_sections
60331ac2
#44125 by ptorrx's avatar process validate-classic

00:01:10

passed #120968
critical_sections
60331ac2
#44125 by ptorrx's avatar process validate

00:00:50

passed #120967
critical_sections
60331ac2
#44125 by ptorrx's avatar build coq-dev

00:04:34

passed #120966
critical_sections
60331ac2
#44125 by ptorrx's avatar build coq-8.13

00:03:14

failed #120965
critical_sections
60331ac2
#44125 by ptorrx's avatar build spell-check

00:00:18

passed #120964
critical_sections
60331ac2
#44125 by ptorrx's avatar build proof-length

00:00:12

passed #120963
critical_sections
60331ac2
#44125 by ptorrx's avatar build build-for-process-classic

00:02:02

passed #120962
critical_sections
60331ac2
#44125 by ptorrx's avatar build build-for-process

00:01:35

passed #120961
critical_sections
60331ac2
#44125 by ptorrx's avatar build 1.12.0-coq-8.13

00:03:16

passed #120960
critical_sections
60331ac2
#44125 by ptorrx's avatar build 1.11.0-coq-8.12

00:05:10

passed #120959
critical_sections
60331ac2
#44125 by ptorrx's avatar build 1.11.0-coq-8.11

00:04:21

passed #120958
critical_sections
60331ac2
#44125 by ptorrx's avatar build 1.10.0-coq-8.11

00:04:19