Status Job Pipeline Stage Name Timing Coverage
passed #71159
warning-fix-mathcomp-1.10
4f929b65
#28405 by Björn Brandenburg's avatar process proof-state

00:06:17

passed #71158
warning-fix-mathcomp-1.10
4f929b65
#28405 by Björn Brandenburg's avatar process doc-classic

00:01:06

passed #71157
warning-fix-mathcomp-1.10
4f929b65
#28405 by Björn Brandenburg's avatar process doc

00:00:52

passed #71156
warning-fix-mathcomp-1.10
4f929b65
#28405 by Björn Brandenburg's avatar process validate-classic

00:01:54

passed #71155
warning-fix-mathcomp-1.10
4f929b65
#28405 by Björn Brandenburg's avatar process validate

00:01:53

failed #71154
warning-fix-mathcomp-1.10
4f929b65
allowed to fail
#28405 by Björn Brandenburg's avatar build coq-dev

00:06:31

failed #71153
warning-fix-mathcomp-1.10
4f929b65
allowed to fail
#28405 by Björn Brandenburg's avatar build coq-8.10

00:06:01

passed #71152
warning-fix-mathcomp-1.10
4f929b65
#28405 by Björn Brandenburg's avatar build spell-check

00:01:26

passed #71151
warning-fix-mathcomp-1.10
4f929b65
#28405 by Björn Brandenburg's avatar build proof-length

00:01:32

passed #71150
warning-fix-mathcomp-1.10
4f929b65
#28405 by Björn Brandenburg's avatar build build-for-process-classic

00:08:17

passed #71149
warning-fix-mathcomp-1.10
4f929b65
#28405 by Björn Brandenburg's avatar build build-for-process

00:03:39

passed #71148
warning-fix-mathcomp-1.10
4f929b65
#28405 by Björn Brandenburg's avatar build 1.10.0-coq-8.11

00:09:54

passed #71147
warning-fix-mathcomp-1.10
4f929b65
#28405 by Björn Brandenburg's avatar build 1.10.0-coq-8.10

00:09:54

passed #71146
warning-fix-mathcomp-1.10
4f929b65
#28405 by Björn Brandenburg's avatar build 1.10.0-coq-8.9

00:10:04

failed #71145
warning-fix-mathcomp-1.10
4f929b65
#28405 by Björn Brandenburg's avatar build 1.9.0-coq-8.11

00:03:29

failed #71144
warning-fix-mathcomp-1.10
4f929b65
#28405 by Björn Brandenburg's avatar build 1.9.0-coq-8.10

00:03:25

failed #71143
warning-fix-mathcomp-1.10
4f929b65
#28405 by Björn Brandenburg's avatar build 1.9.0-coq-8.9

00:03:51

passed #71142
master
3c00f057
#28404 by Björn Brandenburg's avatar process doc

00:00:23

passed #71141
master
3c00f057
#28404 by Björn Brandenburg's avatar process proof-state

00:04:51

passed #71140
master
3c00f057
#28404 by Björn Brandenburg's avatar process doc-classic

00:01:16

failed #71139
master
3c00f057
#28404 by Björn Brandenburg's avatar process doc

00:03:44

passed #71138
master
3c00f057
#28404 by Björn Brandenburg's avatar process validate-classic

00:02:35

passed #71137
master
3c00f057
#28404 by Björn Brandenburg's avatar process validate

00:02:04

failed #71136
master
3c00f057
allowed to fail
#28404 by Björn Brandenburg's avatar build coq-dev

00:09:13

failed #71135
master
3c00f057
allowed to fail
#28404 by Björn Brandenburg's avatar build coq-8.10

00:07:48

passed #71134
master
3c00f057
#28404 by Björn Brandenburg's avatar build spell-check

00:01:55

passed #71133
master
3c00f057
#28404 by Björn Brandenburg's avatar build proof-length

00:01:54

passed #71132
master
3c00f057
#28404 by Björn Brandenburg's avatar build build-for-process-classic

00:09:59

passed #71131
master
3c00f057
#28404 by Björn Brandenburg's avatar build build-for-process

00:04:02

passed #71130
master
3c00f057
#28404 by Björn Brandenburg's avatar build 1.10.0-coq-8.11

00:13:34