Skip to content

Rework Cargo manifest management #117

Rework Cargo manifest management

Rework Cargo manifest management #117

Triggered via pull request October 24, 2023 09:44
Status Failure
Total duration 15m 31s
Artifacts

push.yaml

on: pull_request
Matrix: Run sel4test
Check dependencies
5m 56s
Check dependencies
Check Kani proofs
4m 10s
Check Kani proofs
Build everything
1m 39s
Build everything
Deploy docs
0s
Deploy docs
Fit to window
Zoom out
Zoom in

Annotations

1 error
Build everything
Process completed with exit code 2.