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

CI: add formal checks

2022-01-29 16:44:11 +01:00

formal.yml

CI: allow dots in commit subject area

2022-02-24 16:41:02 +01:00

tools.yml

CI: usability improvements for tools

2022-04-05 01:27:30 +02:00