Paul Spooren a5eeac8033 CI: move logs/ to GITHUB_WORKSPACE ... Artifacts can only be uploaded from inside the GITHUB_WORKSPACE. While the Linux CI jobs run inside that per default, a special case-sensitive mount outside the GITHUB_WORKSPACE is used for macOS builds. To make log artifacts work for both macOS and Linux, move logs/ folder to GITHUB_WORKSPACE on failures. Signed-off-by: Paul Spooren <mail@aparcar.org>		2022-03-09 14:24:49 +01: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: move logs/ to GITHUB_WORKSPACE	2022-03-09 14:24:49 +01:00