Petr Štetiar f2fb3ffd71 ci: move scripts into separate directory ... So it's clean and tidy. Signed-off-by: Petr Štetiar <ynezz@true.cz> (cherry picked from commit 63ed733d30)		2022-12-04 17:36:54 +01:00
..
scripts	ci: move scripts into separate directory	2022-12-04 17:36:54 +01:00
formal.yml	ci: move scripts into separate directory	2022-12-04 17:36:54 +01:00
kernel.yml	CI: package kmods in kernel workflow	2022-12-04 17:36:54 +01:00
labeler.yml	CI: labeler: fix wrong label for pr targeting stable branch	2022-12-01 01:57:01 +01:00
tools.yml	CI: usability improvements for tools	2022-12-04 17:36:52 +01:00