mirror of
https://github.com/verilator/verilator.git
synced 2026-08-29 09:20:11 +02:00
Belt-and-braces in case GitHub apt mirrors start acting up again: On any successful apt install, cache the deb files downloaded/needed for the step, so on next run the mirrors need not be consulted. (That is: trade apt mirror access with GitHub cache access, which is more reliable)