Add the seL4 Microkit project #1246

Triggered via pull request October 23, 2023 03:09

synchronize #204

microkit

Status Success

Total duration 6m 36s

Artifacts 1

build.yml

on: pull_request

Produced during runtime

Name	Size
site Expired	34.3 MB