diff options
author | Tavian Barnes <tavianator@tavianator.com> | 2024-06-08 12:48:39 -0400 |
---|---|---|
committer | Tavian Barnes <tavianator@tavianator.com> | 2024-06-08 12:48:39 -0400 |
commit | 0873b0458fd1717b9b089790bc2c46c73bf2bd50 (patch) | |
tree | 01902ae56fc38c68725070c4a86e1e6e4f30e6ba | |
parent | 7cddd64b3131812b82feffe2deb311bf6ab9a262 (diff) | |
download | bfs-0873b0458fd1717b9b089790bc2c46c73bf2bd50.tar.xz |
ci: Actually fail if the build fails
Fixes: 23e0487 ("ci: Surface compiler warnings/errors as GitHub actions messages")
-rwxr-xr-x | .github/diag.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/diag.sh b/.github/diag.sh index 942487a..9388309 100755 --- a/.github/diag.sh +++ b/.github/diag.sh @@ -13,4 +13,4 @@ filter() { \1/' } -"$@" 2> >(filter >&2) | filter +"$@" > >(filter) 2> >(filter >&2) |