Marcus Schäfer cfa34c14d2 The ubuntu 20.04 github runner is closing down ... Make sure to move to another runner for workloads which still uses ubuntu 20.04		2025-02-11 18:29:44 +01:00
..
workflows	The ubuntu 20.04 github runner is closing down	2025-02-11 18:29:44 +01:00
CONTRIBUTING.md	First draft of issue#43	2016-03-10 13:33:50 +01:00
ISSUE_TEMPLATE.md	github: Refresh issue template to cover more operating scenarios	2022-06-22 17:38:20 -04:00
PULL_REQUEST_TEMPLATE.md	First draft of issue#43	2016-03-10 13:33:50 +01:00