6 Commits

Author	SHA1	Message	Date
Michael Weimann	7921a6cbf8	Apply prettier formatting	2022-12-09 13:28:29 +01:00
Michael Telatynski	5698389789	Update pull_request.yaml (#22482)	2022-06-08 13:08:36 +01:00
Michael Telatynski	af609e35a3	Add CI to improve experience for community (#22474) ... * Add CI to improve experience for community * Fix close-if-fork-develop if-condition * Extract into reusable workflow	2022-06-08 11:43:55 +01:00
Michael Telatynski	4a91c172b2	Github Actions pull_request synchronize runs on PR open anyway (#22396) ... * Github Actions pull_request synchronize runs on PR open anyway * Update pull_request.yaml	2022-05-30 15:40:33 +01:00
Michael Telatynski	89bffd132a	Fix gha concurrency conditions (#22360)	2022-05-26 10:21:43 +01:00
Michael Telatynski	f2c8e89053	Make pull_request.yaml between the layers consistent and fix enforce labels (#22172)	2022-05-13 18:51:22 +01:00