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

…

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