fix(ci): only apt-installed live provers refresh the apt index (stacked on #455) - #459

fix(ci): only apt-installed live provers refresh the apt index (stacked on #455)#459

hyperpolymath merged 2 commits into

arena/4853aec5-echidnahyperpolymath/echidna:arena/4853aec5-echidnafrom

claude/stoic-brown-26h7xihyperpolymath/echidna:claude/stoic-brown-26h7xiCopy head branch name to clipboard