Bump Rust toolchain #543
Triggered via pull request
October 28, 2024 07:14
nspin
Status
Failure
Total duration
3h 29m 11s
Artifacts
–
push.yaml
on: pull_request
Check licenses
14s
Check source
2m 39s
Run other tests
3h 28m
Build docs
14m 48s
Deploy docs
0s
Annotations
1 error and 5 warnings
|
Run other tests
The hosted runner: GitHub Actions 29 lost communication with the server. Anything in your workflow that terminates the runner process, starves it for CPU/Memory, or blocks its network access can cause this error.
|
|
Check source
No push credentials found. Ignoring the 'useDaemon' option.
|
|
Check Kani proofs
No push credentials found. Ignoring the 'useDaemon' option.
|
|
Check dependencies
No push credentials found. Ignoring the 'useDaemon' option.
|
|
Build docs
No push credentials found. Ignoring the 'useDaemon' option.
|
|
Run other tests
No push credentials found. Ignoring the 'useDaemon' option.
|