workflow: Fix error outputs for compile-check

[MonsterDruide1]

Fixes #60

So far, the compile-check workflow did not output its error messages, because tools/check failed with a non-zero exit code in these circumstances, so the remainder of the step would not be executed. By adding || true to it, failing return codes are ignored. Additionally, by piping the error to a file and reading it back with cat, newlines are preserved. Rust shows its stack trace by default when using bail! to exit a program, so we're also cutting that and the remainder of the (multiline) message away using sed. \f (form feed symbol) is used as a temporary replacement for \n here, to allow multi-line replacements in sed without fancy commands.

---

This change is 

[Werechang]

Reviewed 1 of 1 files at r1, all commit messages.
Reviewable status: all files reviewed, 1 unresolved discussion (waiting on @MonsterDruide1)

---

.github/workflows/compile-check.yml line 70 at r1 (raw file):

        else
          cat errfile | tr '\n' '\f' | sed 's/Stack backtrace:.*//' | tr '\f' '\n'
          exit 2

exit 2 can now be changed back to exit 1 since we know where the issue was.

[MonsterDruide1]

Reviewable status: 0 of 1 files reviewed, 1 unresolved discussion (waiting on @Werechang)

---

.github/workflows/compile-check.yml line 70 at r1 (raw file):

Previously, Werechang (Cookieso) wrote…

exit 2 can now be changed back to exit 1 since we know where the issue was.

Good catch - done.

[Werechang]

Reviewed 1 of 1 files at r2.
Reviewable status: all files reviewed (commit messages unreviewed), 1 unresolved discussion (waiting on @MonsterDruide1)

[Werechang]

Reviewed all commit messages.
Reviewable status: all files reviewed, 1 unresolved discussion (waiting on @MonsterDruide1)

[Werechang]

Reviewed 1 of 1 files at r2.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @MonsterDruide1)