Skip to content

Improve core runtime crates #207

Improve core runtime crates

Improve core runtime crates #207

Triggered via pull request January 15, 2024 09:15
Status Failure
Total duration 6h 0m 26s
Artifacts

push.yaml

on: pull_request
Matrix: Run sel4test
Check dependencies
4m 3s
Check dependencies
Check Kani proofs
3m 7s
Check Kani proofs
Build everything
0s
Build everything
Deploy docs
0s
Deploy docs
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Run other tests
The job running on runner GitHub Actions 16 has exceeded the maximum execution time of 360 minutes.
Run other tests
The operation was canceled.