Skip to content
CI

Improve core runtime crates #213

Sign in to view logs

Improve core runtime crates

Improve core runtime crates #213

Triggered via pull request January 18, 2024 06:21
@nspinnspin
synchronize #68
nspin:pr/improve-core-runtime-crates
Status Failure
Total duration 58m 44s
Artifacts –

push.yaml

on: pull_request
Matrix: Run sel4test
Check licenses
16s
Check licenses
Check source
2m 32s
Check source
Run other tests
10m 8s
Run other tests
Build docs
9m 10s
Build docs
Check dependencies
3m 58s
Check dependencies
Check Kani proofs
3m 26s
Check Kani proofs
Build everything
48m 18s
Build everything
Deploy docs
0s
Deploy docs
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Build everything
The hosted runner encountered an error while running your job. (Error Type: Disconnect).
Build everything
The hosted runner: GitHub Actions 2 lost communication with the server. Anything in your workflow that terminates the runner process, starves it for CPU/Memory, or blocks its network access can cause this error.