Skip to content

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

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

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

Triggered via pull request March 18, 2024 07:50
Status Failure
Total duration 47s
Artifacts

pr.yml

on: pull_request
Gitlint
37s
Gitlint
Trailing Whitespace
22s
Trailing Whitespace
Portable Shell
26s
Portable Shell
Fit to window
Zoom out
Zoom in

Annotations

1 error
Trailing Whitespace
Action git-diff-check failed.