change lemma name

17 jobs for offset in 20 minutes and 45 seconds (queued for 6 seconds)
Status Job ID Name Coverage
  Build
passed #82103
1.10.0-coq-8.10

00:05:40

passed #82104
1.10.0-coq-8.11

00:08:30

passed #82102
1.10.0-coq-8.9

00:05:25

passed #82100
1.9.0-coq-8.10

00:07:26

passed #82101
1.9.0-coq-8.11

00:05:31

passed #82099
1.9.0-coq-8.9

00:08:08

passed #82105
build-for-process

00:04:14

passed #82106
build-for-process-classic

00:05:44

failed #82109
allowed to fail
coq-8.10

00:04:09

failed #82110
allowed to fail
coq-dev

00:17:32

passed #82107
proof-length

00:00:27

passed #82108
spell-check

00:00:50

 
  Process
passed #82113
doc

00:00:44

passed #82114
doc-classic

00:05:46

failed #82115
proof-state

00:16:28

failed #82111
validate

00:16:29

passed #82112
validate-classic

00:01:11

 
Name Stage Failure
failed
proof-state Process
Using docker image sha256:a5e3ea2226f4e8bcb014946cae9349bf447bc3bb4e66a5a59c23b5b260c0022d for mathcomp/mathcomp:1.10.0-coq-8.11 ...
Preparing environment
Running on runner-686bfd3b-project-1554-concurrent-3 via gitlab-ci0...
Getting source from Git repository
Fetching changes...
Reinitialized existing Git repository in /builds/pointoflight/rt-proofs/.git/
error: RPC failed; curl 6 OpenSSL SSL_read: SSL_ERROR_SYSCALL, errno 110
fatal: the remote end hung up unexpectedly
ERROR: Job failed: exit code 1
failed
validate Process
Using docker image sha256:a5e3ea2226f4e8bcb014946cae9349bf447bc3bb4e66a5a59c23b5b260c0022d for mathcomp/mathcomp:1.10.0-coq-8.11 ...
Preparing environment
Running on runner-686bfd3b-project-1554-concurrent-0 via gitlab-ci0...
Getting source from Git repository
Fetching changes...
Reinitialized existing Git repository in /builds/pointoflight/rt-proofs/.git/
error: RPC failed; curl 6 OpenSSL SSL_read: SSL_ERROR_SYSCALL, errno 110
fatal: the remote end hung up unexpectedly
ERROR: Job failed: exit code 1
failed
coq-dev Build


<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions failed
| - build coq-prosa dev
+-
- No changes have been performed
'opam install -y -v -j 2 coq-prosa' failed.
ERROR: Job failed: exit code 1
failed
coq-8.10 Build


<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions failed
| - build coq-prosa dev
+-
- No changes have been performed
'opam install -y -v -j 2 coq-prosa' failed.
ERROR: Job failed: exit code 1