12 commits

Author	SHA1	Message	Date
Michael Telatynski	ec460326f1	Fix workflow permissions ... Signed-off-by: Michael Telatynski <7t3chguy@gmail.com>	2024-11-27 09:14:31 +00:00
Michael Telatynski	cdfb58501d	Fix perms ... Signed-off-by: Michael Telatynski <7t3chguy@gmail.com>	2024-11-21 14:18:29 +00:00
Michael Telatynski	03a1d89785	Tighten GITHUB_TOKEN permissions ... Signed-off-by: Michael Telatynski <7t3chguy@gmail.com>	2024-11-20 15:44:02 +00:00
Michael Telatynski	68fec606f2	Fix merge queue ... Signed-off-by: Michael Telatynski <7t3chguy@gmail.com>	2024-01-09 17:00:43 +00:00
Michael Telatynski	04f2a55500	Update pull_request.yaml	2023-04-06 10:41:32 +01:00
Michael Telatynski	77f8e4d822	Update pull_request.yaml	2023-02-21 12:24:49 +00:00
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