Skip to content
CI

seL4 17++ release #805

Sign in to view logs

seL4 17++ release

seL4 17++ release #805

Triggered via pull request October 30, 2026 00:40
@dreamliner787-9dreamliner787-9
synchronize #357
lsf37/release-17
Status Failure
Total duration 42s
Artifacts –

push.yml

on: pull_request
Checks  /  License Check
40s
Checks / License Check
Checks  /  Links
9s
Checks / Links
Fit to window
Zoom out
Zoom in

Annotations

1 error and 2 notices
Checks / License Check
Action license-check failed.
Checks / Links
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Checks / License Check
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"