CI

Add a test for injecting an IRQ on a vCPU without a TCB associated #186

Sign in to view logs

Triggered via pull request February 16, 2024 07:04

Ivan-Velickovic

synchronize #114

Ivan-Velickovic:sel4_1199_reproduce

Status Failure

Total duration 41s

Artifacts –

push.yml

on: pull_request

Annotations

1 error

Action style failed.