Guðni Már Gilbert 67e3a3c06c CI: Add sudo apt-get update ... See: https://docs.github.com/en/actions/using-github-hosted-runners/about-github-hosted-runners/customizing-github-hosted-runners#installing-software-on-ubuntu-runners > Note: Always run sudo apt-get update before installing a package. In case the apt index is stale, this command fetches and re-indexes any available packages, which helps prevent package installation failures.		2024-02-24 15:38:34 +00:00
..
build.yml	CI: Add sudo apt-get update	2024-02-24 15:38:34 +00:00
pr-size.sh	Update pr-size to show more information	2023-10-02 20:32:10 +02:00
pr-size.yml	CI: Add sudo apt-get update	2024-02-24 15:38:34 +00:00
stale.yml	Add pr-size and stale actions.	2023-09-14 12:39:36 +02:00