Skip to content
CI

Clean up Cargo manifest management #128

Sign in to view logs

Clean up Cargo manifest management

Clean up Cargo manifest management #128

Triggered via pull request October 26, 2023 00:10
@nspinnspin
synchronize #39
nspin:pr/cargo-manifest-management-cleanup
Status Success
Total duration 23m 48s
Artifacts –

push.yaml

on: pull_request
Matrix: Run sel4test
Check licenses
13s
Check licenses
Check source
3m 26s
Check source
Run other tests
6m 26s
Run other tests
Build docs
3m 6s
Build docs
Check dependencies
6m 10s
Check dependencies
Check Kani proofs
4m 28s
Check Kani proofs
Build everything
7m 34s
Build everything
Deploy docs
0s
Deploy docs
Fit to window
Zoom out
Zoom in