Skip to content
CI

Improve core runtime crates #207

Sign in to view logs

Improve core runtime crates

Improve core runtime crates #207

Triggered via pull request January 15, 2024 09:15
@nspinnspin
synchronize #67
nspin:pr/reduce-dependence-on-sel4
Status Failure
Total duration 6h 0m 26s
Artifacts –

push.yaml

on: pull_request
Matrix: Run sel4test
Check licenses
9s
Check licenses
Check source
2m 43s
Check source
Run other tests
6h 0m
Run other tests
Build docs
8m 28s
Build docs
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.