Lspace #1252
Triggered via pull request
February 5, 2025 10:36
hoheinzollern
hoheinzollern
synchronize
#1230
Status
Failure
Total duration
45m 58s
Artifacts
–
nix-action-8.19.yml
on: pull_request_target
coq
44s
mathcomp-experimental-reals
3m 0s
mathcomp-analysis-stdlib
15m 22s
Annotations
9 errors
|
mathcomp-analysis-single
RPC failed; curl 92 HTTP/2 stream 5 was not closed cleanly: CANCEL (err 8)
|
|
mathcomp-analysis-single
30 bytes of body are still expected
|
|
mathcomp-analysis-single
early EOF
|
|
mathcomp-analysis-single
fetch-pack: invalid index-pack output
|
|
mathcomp-analysis-single
RPC failed; curl 92 HTTP/2 stream 5 was not closed cleanly: CANCEL (err 8)
|
|
mathcomp-analysis-single
3701 bytes of body are still expected
|
|
mathcomp-analysis-single
early EOF
|
|
mathcomp-analysis-single
fetch-pack: invalid index-pack output
|
|
mathcomp-analysis-single
Process completed with exit code 1.
|