Skip to content
CI

Enable testing this project with a range of Rust toolchain versions #563

Sign in to view logs

Enable testing this project with a range of Rust toolchain versions

Enable testing this project with a range of Rust toolchain versions #563

Triggered via pull request October 30, 2024 09:59
@nspinnspin
opened #226
nspin:pr/diversity-of-toolchains
Status Success
Total duration 2h 13m 34s
Artifacts –

push.yaml

on: pull_request
Check licenses
16s
Check licenses
Check source
7m 3s
Check source
Run other tests
1h 0m
Run other tests
Build docs
11m 12s
Build docs
Check dependencies
8m 26s
Check dependencies
Check Kani proofs
8m 29s
Check Kani proofs
Build everything
1h 13m
Build everything
Deploy docs
0s
Deploy docs
Fit to window
Zoom out
Zoom in

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.