Status Name Job Pipeline Stage Duration Coverage
failed coq-dev #137002
hint-warnings-fix
18ec53fb
allowed to fail
#51110 by Marco Maida's avatar build

00:01:18

passed 1.11.0-coq-8.11 #137001
hint-warnings-fix
18ec53fb
#51110 by Marco Maida's avatar build

00:06:01

passed proof-state #137000
hint-warnings-fix
18ec53fb
#51110 by Marco Maida's avatar process

00:02:21

passed doc-classic #136999
hint-warnings-fix
18ec53fb
#51110 by Marco Maida's avatar process

00:04:55

passed doc #136998
hint-warnings-fix
18ec53fb
#51110 by Marco Maida's avatar process

00:02:56

passed validate-classic #136997
hint-warnings-fix
18ec53fb
#51110 by Marco Maida's avatar process

00:05:53

passed validate #136996
hint-warnings-fix
18ec53fb
#51110 by Marco Maida's avatar process

00:03:02

failed coq-dev #136995
hint-warnings-fix
18ec53fb
allowed to fail
#51110 by Marco Maida's avatar build

00:02:13

passed coq-8.13 #136994
hint-warnings-fix
18ec53fb
#51110 by Marco Maida's avatar build

00:03:19

passed spell-check #136993
hint-warnings-fix
18ec53fb
#51110 by Marco Maida's avatar build

00:00:18

passed proof-length #136992
hint-warnings-fix
18ec53fb
#51110 by Marco Maida's avatar build

00:00:14

passed build-for-process-classic #136991
hint-warnings-fix
18ec53fb
#51110 by Marco Maida's avatar build

00:02:48

passed build-for-process #136990
hint-warnings-fix
18ec53fb
#51110 by Marco Maida's avatar build

00:01:09

passed 1.12.0-coq-8.13 #136989
hint-warnings-fix
18ec53fb
#51110 by Marco Maida's avatar build

00:03:23

passed 1.11.0-coq-8.12 #136988
hint-warnings-fix
18ec53fb
#51110 by Marco Maida's avatar build

00:03:49

failed 1.11.0-coq-8.11 #136987
hint-warnings-fix
18ec53fb
#51110 by Marco Maida's avatar build

00:02:23

passed 1.10.0-coq-8.11 #136986
hint-warnings-fix
18ec53fb
#51110 by Marco Maida's avatar build

00:04:22

passed proof-state #117656
additivity-theory
a3d5b1a9
#43067 by Björn Brandenburg's avatar process

00:03:20

passed doc-classic #117655
additivity-theory
a3d5b1a9
#43067 by Björn Brandenburg's avatar process

00:04:56

passed doc #117654
additivity-theory
a3d5b1a9
#43067 by Björn Brandenburg's avatar process

00:00:17

passed validate-classic #117653
additivity-theory
a3d5b1a9
#43067 by Björn Brandenburg's avatar process

00:06:13

passed validate #117652
additivity-theory
a3d5b1a9
#43067 by Björn Brandenburg's avatar process

00:00:48

passed coq-dev #117651
additivity-theory
a3d5b1a9
#43067 by Björn Brandenburg's avatar build

00:04:26

passed coq-8.13 #117650
additivity-theory
a3d5b1a9
#43067 by Björn Brandenburg's avatar build

00:04:27

passed spell-check #117649
additivity-theory
a3d5b1a9
#43067 by Björn Brandenburg's avatar build

00:00:15

passed proof-length #117648
additivity-theory
a3d5b1a9
#43067 by Björn Brandenburg's avatar build

00:00:07

passed build-for-process-classic #117647
additivity-theory
a3d5b1a9
#43067 by Björn Brandenburg's avatar build

00:02:53

passed build-for-process #117646
additivity-theory
a3d5b1a9
#43067 by Björn Brandenburg's avatar build

00:01:33

passed 1.12.0-coq-8.13 #117645
additivity-theory
a3d5b1a9
#43067 by Björn Brandenburg's avatar build

00:04:36

passed 1.11.0-coq-8.12 #117644
additivity-theory
a3d5b1a9
#43067 by Björn Brandenburg's avatar build

00:05:13