Skip to content

crates/sel4-async/block-io/cpiofs: Update for improvements in depende… #102

crates/sel4-async/block-io/cpiofs: Update for improvements in depende…

crates/sel4-async/block-io/cpiofs: Update for improvements in depende… #102

Triggered via push October 20, 2023 02:17
Status Success
Total duration 19m 24s
Artifacts

push.yaml

on: push
Matrix: Run sel4test
Check dependencies
4m 51s
Check dependencies
Check Kani proofs
4m 34s
Check Kani proofs
Deploy docs
48s
Deploy docs
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Deploy docs
Uploaded artifact size of 1155389440 bytes exceeds the allowed size of 1 GB. Deployment might fail.