Skip to content
seL4Test

settings: Disable timer tests for RocketChip #188

Sign in to view logs

settings: Disable timer tests for RocketChip

settings: Disable timer tests for RocketChip #188

Triggered via push June 16, 2024 10:19
@lsf37lsf37
pushed 8a08306
master
Status Success
Total duration 12m 25s
Artifacts –

sel4test-sim.yml

on: push
Matrix: Simulation
Fit to window
Zoom out
Zoom in