Private CI

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

Sign in to view logs

Triggered via push August 30, 2024 14:58

pamaury

dt_for_multitop_dev

Status Success

Total duration 12s

Artifacts –

private-ci.yml

on: push

Trigger Private CI