Christian Marangi f4db275250 CI: use tools:latest container to speedup kernel workflow ... Use tools:latest container with prebuilt host tools to speedup kernel compilation in kernel workflow. Signed-off-by: Christian Marangi <ansuelsmth@gmail.com> (cherry picked from commit 5d09118f8e)		2022-12-04 16:27:00 +01:00
..
scripts	ci: show build failures directly in job log output	2022-12-04 16:26:59 +01:00
Dockerfile.tools	CI: create Docker container containing compiled tools	2022-12-04 16:27:00 +01:00
formal.yml	ci: move scripts into separate directory	2022-12-04 16:26:59 +01:00
kernel.yml	CI: use tools:latest container to speedup kernel workflow	2022-12-04 16:27:00 +01:00
labeler.yml	build: harden GitHub workflow permissions	2022-12-04 16:26:59 +01:00
tools.yml	CI: create Docker container containing compiled tools	2022-12-04 16:27:00 +01:00