CI

RFC-5: The seL4 Microkit (was: " The seL4 Core Platform") #23

Sign in to view logs

Triggered via pull request June 17, 2024 02:10

lsf37

opened #25

0050-microkit

Status Success

Total duration 1m 23s

Artifacts –

push.yml

on: pull_request