rjshrjndrn d5ab59e1c1 pr-env: exit in case of error ... Signed-off-by: rjshrjndrn <rjshrjndrn@gmail.com>		2023-11-25 00:54:51 +01:00
..
ISSUE_TEMPLATE	Update issue templates	2022-06-23 12:16:05 +02:00
workflows	pr-env: exit in case of error	2023-11-25 00:54:51 +01:00