Martin Hořeňovský d1d7414eb9 Always run apt-get update before apt-get install ... The base images for GitHub Actions are updated weekly, but sometimes that is not enough to be able to install the packages we require. The recommended fix for this is to always run `apt-get update` before `apt-get install`.		2023-12-09 12:05:45 +01:00
..
ISSUE_TEMPLATE	Update issue templates	2019-01-18 15:36:34 +01:00
workflows	Always run apt-get update before apt-get install	2023-12-09 12:05:45 +01:00
FUNDING.yml	Add myself to FUNDING	2021-10-11 10:44:29 +02:00
pull_request_template.md	Fix typos identified by codespell.	2019-04-10 09:42:11 +02:00