Paul Spooren d3a8cacfcc

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>
(cherry picked from commit a5eeac8033786a7a04b7569175e41e415b6579c0)

2022-12-04 16:26:59 +01:00

..

ci_helpers.sh

…

formal.yml

…

tools.yml

CI: move logs/ to GITHUB_WORKSPACE

2022-12-04 16:26:59 +01:00