tools/metrics.py: Add VIRT_RV32 to the code size metrics.#15843

Merged

dpgeorge merged 2 commits intomicropython:masterfrom

agatti:codesize-rv32

Sep 23, 2024

Commits on Sep 23, 2024

tools/metrics.py: Add VIRT_RV32 to the code size metrics.

agatti
authored and
dpgeorge
committed
tools/ci.sh: Report code size for `VIRT_RV32` as well.

agatti
authored and
dpgeorge
committed