[docker] use CI verilator build in docker instead of custom apt source#106

Merged

nbdd0121 merged 1 commit intolowRISC:mainfrom nbdd0121:main

Apr 19, 2024

+6-20

Commits on Apr 11, 2024

[docker] use CI verilator build in docker instead of custom apt source
nbdd0121
committed