diff --git a/.github/workflows/ci_linux.yml b/.github/workflows/ci_linux.yml index 5a796e8a..3b4223fc 100644 --- a/.github/workflows/ci_linux.yml +++ b/.github/workflows/ci_linux.yml @@ -20,7 +20,7 @@ concurrency: env: TZ: Europe/Berlin GCC_COLORS: error=01;31:warning=01;35:note=01;36:range1=32:range2=34:locus=01:quote=01:path=01;36:fixit-insert=32:fixit-delete=31:diff-filename=01:diff-hunk=32:diff-delete=31:diff-insert=32:type-diff=01;32 - + TERM: xterm-256color defaults: run: shell: script --return --quiet --command "bash -Eexuo pipefail {0}"