This repository has been archived on 2025-10-04. You can view files and clone it, but cannot push or open issues or pull requests.

sfan5 dc2246dae7 Fix CI by running apt-get update first

2021-07-22 16:42:46 +02:00

..

workflows

Fix CI by running apt-get update first

2021-07-22 16:42:46 +02:00