Guðni Már Gilbert 704003295a 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:29:21 +00:00
..
build.yml	CI: Add sudo apt-get update	2024-02-24 15:29:21 +00:00
pr-size.sh	More pr-size details	2023-10-05 09:53:18 +02:00
pr-size.yml	CI: Add sudo apt-get update	2024-02-24 15:29:21 +00:00
stale.yml	Update stale message	2023-12-04 07:19:58 -05:00