Skip to content
CI

Add the seL4 Microkit project #356

Sign in to view logs

Add the seL4 Microkit project

Add the seL4 Microkit project #356

Triggered via push October 23, 2023 03:16
@lsf37lsf37
pushed 827111d
master
Status Success
Total duration 28s
Artifacts –

push.yml

on: push
License Check
14s
License Check
Style
20s
Style
Fit to window
Zoom out
Zoom in