better in the error box

2022-02-11 11:41:42 +01:00 · 2022-02-11 11:41:42 +01:00 · 96e2341438
commit 96e2341438
parent 4303b98b07
1 changed files with 0 additions and 1 deletions
--- a/.github/workflows/format_check.yml
+++ b/.github/workflows/format_check.yml
@ -33,6 +33,5 @@ jobs:
              exit(0)
          else
              @error "These files have not been formatted:\n$out"
-              write(stdout, out)
              exit(1)
          end'