Skip to content
CI

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

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

Triggered via pull request February 21, 2024 01:04
@lsf37lsf37
synchronize #114
Ivan-Velickovic:sel4_1199_reproduce
Status Success
Total duration 29s
Artifacts –

push.yml

on: pull_request
License Check
10s
License Check
Links
10s
Links
Style
17s
Style
Fit to window
Zoom out
Zoom in