Skip to content
PR

RFC-4: Ability to build additional bootloaders inside the seL4 build system #1

Sign in to view logs

RFC-4: Ability to build additional bootloaders inside the seL4 build system

RFC-4: Ability to build additional bootloaders inside the seL4 build system #1

Triggered via pull request June 13, 2024 07:30
@lsf37lsf37
opened #12
0040-additional-bootloaders
Status Failure
Total duration 21s
Billable time 2m
Artifacts –

pr.yml

on: pull_request
Gitlint
11s
Gitlint
Trailing Whitespace
9s
Trailing Whitespace
Fit to window
Zoom out
Zoom in

Annotations

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