8 commits

Author	SHA1	Message	Date
Michael Weimann	526645c791	Apply prettier formatting	2022-12-12 12:24:14 +01:00
Michael Telatynski	9656692700	Update pull_request.yaml (#8789)	2022-06-08 13:08:30 +01:00
Michael Telatynski	911150846e	Add CI to improve experience for community (#8779) ... * Add CI to improve experience for community * Fix close-if-fork-develop if-condition * Extract into reusable workflow	2022-06-08 11:43:54 +01:00
Michael Telatynski	e87ef3b6ab	Revert "Github Actions pull_request synchronize runs on PR open anyway" (#8720) ... * Revert "Github Actions pull_request synchronize runs on PR open anyway (#8718)" This reverts commit eaace4b4d1. * Update pull_request.yaml	2022-05-30 15:40:26 +01:00
Michael Telatynski	eaace4b4d1	Github Actions pull_request synchronize runs on PR open anyway (#8718)	2022-05-30 14:33:36 +01:00
Michael Telatynski	7efd7b67ea	Fix gha concurrency conditions (#8702)	2022-05-26 10:21:44 +01:00
Michael Telatynski	b331099525	Make pull_request.yaml between the layers consistent and fix enforce labels (#8580)	2022-05-13 18:51:25 +01:00
Michael Telatynski	7f78b1c968	Iterate CI checks (#8472)	2022-05-03 10:39:03 +01:00