After the successful integration of #474, our GitHub CI/CD pipeline now automatically publishes a tarball of the latest RISC-V executables, keeping the rv32emu source tree clean. However, we have noticed that the tarball is being downloaded multiple times during tests, leading to unnecessary delays. To improve this, we can cache the downloaded files beforehand and simply verify the extracted RISC-V executables during the testing phase.