Skip to content

Rework Cargo manifest management #113

Rework Cargo manifest management

Rework Cargo manifest management #113

Triggered via pull request October 24, 2023 04:00
Status Failure
Total duration 49m 51s
Artifacts

push.yaml

on: pull_request
Matrix: Run sel4test
Check dependencies
5m 7s
Check dependencies
Check Kani proofs
4m 58s
Check Kani proofs
Build everything
1m 44s
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.