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