Paul Spooren 119c6573c4 CI: usability improvements for tools ... * Always store build logs * Store .config as an artifact * Rename job to `tools-{ os }` for log archive without spaces * Run CI job on changes to the CI file itself Signed-off-by: Paul Spooren <mail@aparcar.org> (cherry picked from commit 80f79beb95)		2022-12-04 17:36:52 +01:00
..
ci_helpers.sh	CI: add formal checks	2022-01-29 16:44:11 +01:00
formal.yml	build: harden GitHub workflow permissions	2022-11-27 17:39:36 +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