Paul Spooren 80f79beb95 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>		2022-04-05 01:27:30 +02:00
..
ci_helpers.sh
formal.yml
tools.yml	CI: usability improvements for tools	2022-04-05 01:27:30 +02:00