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

Karol Wypchło 5e5241d45f Merge branch 'master' into add-shell-scripts-lint		2022-09-09 10:46:15 +02:00
..
lint-python.yml	simplify github workflows	2021-12-15 18:11:40 +01:00
lint-shell-scripts.yml	add shellcheck action	2022-03-31 14:56:07 +02:00