Skip to content
Private CI

[dif,rv_plic] Make dif_rv_plic_irq_id_t an alias for dt_irq_t #59

Sign in to view logs

[dif,rv_plic] Make dif_rv_plic_irq_id_t an alias for dt_irq_t

[dif,rv_plic] Make dif_rv_plic_irq_id_t an alias for dt_irq_t #59

Triggered via push September 2, 2024 11:46
@pamaurypamaury
pushed 5d01435
dt_for_multitop_dev
Status Success
Total duration 15s
Artifacts –

private-ci.yml

on: push
Trigger Private CI
4s
Trigger Private CI
Fit to window
Zoom out
Zoom in