Skip to content
CI

Re-work section on porting seL4 to new platforms #439

Sign in to view logs

Re-work section on porting seL4 to new platforms

Re-work section on porting seL4 to new platforms #439

Triggered via push March 25, 2024 10:33
@Ivan-VelickovicIvan-Velickovic
pushed d8e0e29
master
Status Success
Total duration 34s
Artifacts –

push.yml

on: push
License Check
18s
License Check
Style
23s
Style
Fit to window
Zoom out
Zoom in