Stephan Walter 90da0b75a3 ci : trigger CI for drafts, but not most PR actions (#1125)		2023-04-22 16:12:29 +03:00
..
ISSUE_TEMPLATE	Fix whitespace, add .editorconfig, add GitHub workflow (#883)	2023-04-11 19:45:44 +00:00
workflows	ci : trigger CI for drafts, but not most PR actions (#1125)	2023-04-22 16:12:29 +03:00