Emil Ernerfeldt 7d87acb5fa Remove dead code from CI

2025-01-29 08:43:18 +01:00

..

ISSUE_TEMPLATE

Improve issue templates

2022-12-02 09:51:21 +01:00

workflows

Remove dead code from CI

2025-01-29 08:43:18 +01:00

pull_request_template.md

PR template: add a 'I have read…' checkbox

2024-07-08 14:52:29 +02:00