Closed divergentdave closed 2 years ago
I noticed this CI job was broken, running apt-get update before apt-get install seems to fix it.
I noticed this CI job was broken, running apt-get update before apt-get install seems to fix it.