From f130ee9616850618c9609673fc009ca9cf1769e0 Mon Sep 17 00:00:00 2001 From: Enrico Seiler Date: Thu, 19 Oct 2023 14:01:31 +0200 Subject: [PATCH] Update .github/workflows/ci_linux.yml --- .github/workflows/ci_linux.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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}"