Skip to content

Test ring on -*sel4* targets #172

Test ring on -*sel4* targets

Test ring on -*sel4* targets #172

Triggered via pull request January 6, 2024 00:57
Status Failure
Total duration 1h 7m 48s
Artifacts

push.yaml

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

Annotations

1 error
Build everything
The hosted runner: GitHub Actions 4 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.