Status Job Pipeline Stage Name Timing Coverage
passed #61953
fix_broken_intervals
b1459e3c
#26013 by Marco Maida's avatar process proof-state

00:07:51

passed #61952
fix_broken_intervals
b1459e3c
#26013 by Marco Maida's avatar process doc-classic

00:01:12

passed #61951
fix_broken_intervals
b1459e3c
#26013 by Marco Maida's avatar process doc

00:00:44

passed #61950
fix_broken_intervals
b1459e3c
#26013 by Marco Maida's avatar process validate-classic

00:02:42

passed #61949
fix_broken_intervals
b1459e3c
#26013 by Marco Maida's avatar process validate

00:02:00

failed #61948
fix_broken_intervals
b1459e3c
allowed to fail
#26013 by Marco Maida's avatar build coq-dev

00:07:15

failed #61947
fix_broken_intervals
b1459e3c
allowed to fail
#26013 by Marco Maida's avatar build coq-8.10

00:06:22

passed #61946
fix_broken_intervals
b1459e3c
#26013 by Marco Maida's avatar build spell-check

00:01:30

passed #61945
fix_broken_intervals
b1459e3c
#26013 by Marco Maida's avatar build proof-length

00:01:26

passed #61944
fix_broken_intervals
b1459e3c
#26013 by Marco Maida's avatar build build-for-process-classic

00:06:42

passed #61943
fix_broken_intervals
b1459e3c
#26013 by Marco Maida's avatar build build-for-process

00:02:46

passed #61942
fix_broken_intervals
b1459e3c
#26013 by Marco Maida's avatar build 1.10.0-coq-8.11

00:13:28

passed #61941
fix_broken_intervals
b1459e3c
#26013 by Marco Maida's avatar build 1.10.0-coq-8.10

00:13:29

passed #61940
fix_broken_intervals
b1459e3c
#26013 by Marco Maida's avatar build 1.10.0-coq-8.9

00:13:32

passed #61939
fix_broken_intervals
b1459e3c
#26013 by Marco Maida's avatar build 1.9.0-coq-8.11

00:13:32

passed #61938
fix_broken_intervals
b1459e3c
#26013 by Marco Maida's avatar build 1.9.0-coq-8.10

00:13:25

passed #61937
fix_broken_intervals
b1459e3c
#26013 by Marco Maida's avatar build 1.9.0-coq-8.9

00:13:34

failed #61908
fix_broken_intervals
08546417
#25954 by Marco Maida's avatar build spell-check

00:00:19

failed #61907
fix_broken_intervals
08546417
#25954 by Marco Maida's avatar build spell-check

00:00:19

passed #61809
fix_broken_intervals
08546417
#25954 by Marco Maida's avatar process proof-state

00:03:06

passed #61808
fix_broken_intervals
08546417
#25954 by Marco Maida's avatar process doc-classic

00:01:10

passed #61807
fix_broken_intervals
08546417
#25954 by Marco Maida's avatar process doc

00:00:47

passed #61806
fix_broken_intervals
08546417
#25954 by Marco Maida's avatar process validate-classic

00:02:47

passed #61805
fix_broken_intervals
08546417
#25954 by Marco Maida's avatar process validate

00:01:58

failed #61804
fix_broken_intervals
08546417
allowed to fail
#25954 by Marco Maida's avatar build coq-dev

00:07:08

failed #61803
fix_broken_intervals
08546417
allowed to fail
#25954 by Marco Maida's avatar build coq-8.10

00:07:00

failed #61802
fix_broken_intervals
08546417
#25954 by Marco Maida's avatar build spell-check

00:00:47

passed #61801
fix_broken_intervals
08546417
#25954 by Marco Maida's avatar build proof-length

00:00:34

passed #61800
fix_broken_intervals
08546417
#25954 by Marco Maida's avatar build build-for-process-classic

00:09:10

passed #61799
fix_broken_intervals
08546417
#25954 by Marco Maida's avatar build build-for-process

00:05:11