Status Name Job Pipeline Stage Duration Coverage
passed doc-classic #174787
priority_inversion
bc965175
#62792 by Pierre Roux's avatar process

00:00:29

passed doc #174786
priority_inversion
bc965175
#62792 by Pierre Roux's avatar process

00:00:17

passed validate-classic #174785
priority_inversion
bc965175
#62792 by Pierre Roux's avatar process

00:01:02

failed validate #174784
priority_inversion
bc965175
#62792 by Pierre Roux's avatar process

00:00:45

passed proof-state #174783
priority_inversion
bc965175
#62792 by Pierre Roux's avatar build

00:06:43

failed coq-dev #174782
priority_inversion
bc965175
allowed to fail
#62792 by Pierre Roux's avatar build

00:00:45

passed coq-8.13 #174781
priority_inversion
bc965175
#62792 by Pierre Roux's avatar build

00:03:37

failed spell-check #174780
priority_inversion
bc965175
#62792 by Pierre Roux's avatar build

00:00:18

failed proof-length #174779
priority_inversion
bc965175
#62792 by Pierre Roux's avatar build

00:00:17

passed compile-classic #174778
priority_inversion
bc965175
#62792 by Pierre Roux's avatar build

00:01:52

passed compile #174777
priority_inversion
bc965175
#62792 by Pierre Roux's avatar build

00:01:19

passed 1.13.0-coq-8.14 #174776
priority_inversion
bc965175
#62792 by Pierre Roux's avatar build

00:03:22

passed 1.13.0-coq-8.13 #174775
priority_inversion
bc965175
#62792 by Pierre Roux's avatar build

00:03:20

passed 1.12.0-coq-8.14 #174774
priority_inversion
bc965175
#62792 by Pierre Roux's avatar build

00:03:38

passed 1.12.0-coq-8.13 #174773
priority_inversion
bc965175
#62792 by Pierre Roux's avatar build

00:03:39

passed doc-classic #174772
priority_inversion
4762a049
#62791 by Pierre Roux's avatar process

00:00:29

passed doc #174771
priority_inversion
4762a049
#62791 by Pierre Roux's avatar process

00:00:17

passed validate-classic #174770
priority_inversion
4762a049
#62791 by Pierre Roux's avatar process

00:01:02

failed validate #174769
priority_inversion
4762a049
#62791 by Pierre Roux's avatar process

00:00:43

passed proof-state #174768
priority_inversion
4762a049
#62791 by Pierre Roux's avatar build

00:06:48

failed coq-dev #174767
priority_inversion
4762a049
allowed to fail
#62791 by Pierre Roux's avatar build

00:01:43

passed coq-8.13 #174766
priority_inversion
4762a049
#62791 by Pierre Roux's avatar build

00:04:24

failed spell-check #174765
priority_inversion
4762a049
#62791 by Pierre Roux's avatar build

00:00:20

failed proof-length #174764
priority_inversion
4762a049
#62791 by Pierre Roux's avatar build

00:00:08

passed compile-classic #174763
priority_inversion
4762a049
#62791 by Pierre Roux's avatar build

00:01:59

passed compile #174762
priority_inversion
4762a049
#62791 by Pierre Roux's avatar build

00:01:21

passed 1.13.0-coq-8.14 #174761
priority_inversion
4762a049
#62791 by Pierre Roux's avatar build

00:03:22

passed 1.13.0-coq-8.13 #174760
priority_inversion
4762a049
#62791 by Pierre Roux's avatar build

00:03:22

passed 1.12.0-coq-8.14 #174759
priority_inversion
4762a049
#62791 by Pierre Roux's avatar build

00:03:21

passed 1.12.0-coq-8.13 #174758
priority_inversion
4762a049
#62791 by Pierre Roux's avatar build

00:03:32