Skip to content
seL4Test

settings: Disable timer tests for RocketChip #184

Sign in to view logs

settings: Disable timer tests for RocketChip

settings: Disable timer tests for RocketChip #184

Triggered via pull request June 16, 2024 06:55
@lsf37lsf37
synchronize #104
Ivan-Velickovic:disable_rocketchip_timer_tests
Status Success
Total duration 12m 42s
Artifacts –

sel4test-sim.yml

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