Skip to content
CI

[CI] Update seL4 to cpp-compatible version #1109

Sign in to view logs

[CI] Update seL4 to cpp-compatible version

[CI] Update seL4 to cpp-compatible version #1109

Triggered via push February 21, 2024 01:17
@seL4-ciseL4-ci
pushed 6dc3ff8
master
Status Success
Total duration 58s
Artifacts –

push.yml

on: push
License Check
10s
License Check
Links
7s
Links
Style
21s
Style
Fit to window
Zoom out
Zoom in