I've added a <pull request> on the `dockerized-ver...
# riscv
a
I've added a pull request on the
dockerized-verification-setup
repo which significantly reduces the size of the docker file. I would appreciate if someone could review and merge please