Skip to content
PR

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

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 #145

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

pr.yml

on: pull_request
Gitlint
13s
Gitlint
Trailing Whitespace
7s
Trailing Whitespace
Portable Shell
7s
Portable Shell
Fit to window
Zoom out
Zoom in