Skip to content
Back to pull request #222

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

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 #438

Triggered via pull request March 24, 2024 23:59
@Ivan-VelickovicIvan-Velickovic
synchronize #222
Ivan-Velickovic:update_porting
Status Success
Total duration 1m 7s
Artifacts –

push.yml

on: pull_request
License Check
15s
License Check
Style
58s
Style
Fit to window
Zoom out
Zoom in