Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
ci: execute "apt update" before the first "apt install"
Apparently, the base image of the Github CI runner is not update very often, and does not keep up with the evolving list of mirrors. Without this change the "apt install" command starts to hit 404s.
- Loading branch information