Skip to content
PR

Improving documentation for porting seL4 and making it up-to-date #288

Sign in to view logs

Improving documentation for porting seL4 and making it up-to-date

Improving documentation for porting seL4 and making it up-to-date #288

Triggered via pull request March 18, 2024 07:37
@Ivan-VelickovicIvan-Velickovic
synchronize #222
Ivan-Velickovic:update_porting
Status Failure
Total duration 35s
Artifacts –

pr.yml

on: pull_request
Gitlint
24s
Gitlint
Trailing Whitespace
24s
Trailing Whitespace
Portable Shell
19s
Portable Shell
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Gitlint
Action gitlint failed.
Trailing Whitespace
Action git-diff-check failed.