Skip to content
PR

Utilise seL4_DebugNameThread for debugging #569

Sign in to view logs

Utilise seL4_DebugNameThread for debugging

Utilise seL4_DebugNameThread for debugging #569

Triggered via pull request December 22, 2024 21:15
@Ivan-VelickovicIvan-Velickovic
synchronize #255
debug_name_thread
Status Success
Total duration 2m 32s
Artifacts –

pr.yml

on: pull_request
Gitlint
9s
Gitlint
Trailing Whitespace
7s
Trailing Whitespace
Portable Shell
5s
Portable Shell
Style
31s
Style
clippy_check
14s
clippy_check
rustfmt_check
2m 23s
rustfmt_check
Fit to window
Zoom out
Zoom in

Annotations

6 warnings
Portable Shell
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Trailing Whitespace
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Gitlint
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
clippy_check
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Style
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
rustfmt_check
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636