Skip to content
CI

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

Sign in to view logs

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

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

Triggered via pull request February 16, 2024 07:07
@Ivan-VelickovicIvan-Velickovic
synchronize #114
Ivan-Velickovic:sel4_1199_reproduce
Status Failure
Total duration 36s
Artifacts –

push.yml

on: pull_request
License Check
26s
License Check
Links
11s
Links
Style
16s
Style
Fit to window
Zoom out
Zoom in

Annotations

1 error
Style
Action style failed.