seL4Test-HW

settings: Disable timer tests for RocketChip #82

Sign in to view logs

Triggered via pull request June 16, 2024 06:55

lsf37

synchronize #104

Status Skipped

Total duration 5s

Artifacts –

sel4test-hw.yml

on: pull_request_target

Matrix: HW Build

Matrix: HW Run