Private CI

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

Sign in to view logs

Triggered via push September 2, 2024 21:55

pamaury

dt_for_multitop_dev

Status Success

Total duration 11s

Artifacts –

private-ci.yml

on: push

Trigger Private CI