Skip to content
CI

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 42s
Billable time 3m
Artifacts –

push.yml

on: pull_request
License Check
18s
License Check
Links
9s
Links
Style
33s
Style
Fit to window
Zoom out
Zoom in

Annotations

2 errors
License Check
Action license-check failed.
Style
Action style failed.