CI

RFC-17: seL4 multikernel IPI API #18

Sign in to view logs

Triggered via pull request June 17, 2024 00:48

lsf37

opened #23

0170-multikernel-ipi-api

Status Failure

Total duration 59s

Artifacts –

push.yml

on: pull_request

Annotations

1 error

Action style failed.