Bump Rust toolchain #545
Triggered via pull request
October 28, 2024 07:15
Status
Success
Total duration
1h 45m 4s
Artifacts
–
push.yaml
on: pull_request
Check licenses
13s
Check source
2m 39s
Run other tests
47m 52s
Build docs
11m 53s
Deploy docs
0s
Annotations
6 warnings
Check source
No push credentials found. Ignoring the 'useDaemon' option.
|
Check dependencies
No push credentials found. Ignoring the 'useDaemon' option.
|
Check Kani proofs
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.
|
Build everything
No push credentials found. Ignoring the 'useDaemon' option.
|