Paul Spooren 3b23227d43 CI: use buildbot container for building ... Instead of using a fresh Linux installation which is setup every time use the Buildbot container which is used for our own Buildbot infrastructure, too. While at it also tidy up the workflow to make it more consistent with other workflow. Signed-off-by: Paul Spooren <mail@aparcar.org> Co-Developed-by: Christian Marangi <ansuelsmth@gmail.com> Signed-off-by: Christian Marangi <ansuelsmth@gmail.com>		2022-09-30 17:20:24 +02:00
..
scripts	ci: show build failures directly in job log output	2022-09-20 12:14:54 +02:00
formal.yml	ci: move scripts into separate directory	2022-09-20 12:14:54 +02:00
kernel.yml	ci: show build failures directly in job log output	2022-09-20 12:14:54 +02:00
labeler.yml	build: harden GitHub workflow permissions	2022-09-19 15:02:27 +02:00
tools.yml	CI: use buildbot container for building	2022-09-30 17:20:24 +02:00