formatting
Revert "formatting"

This reverts commit 455d4cde7d96f5d3ced4ab6d8bde846813b5d468.
formatting
formatting
formatting
formatting
formatting
formatting
split integration target for better output formatting
bugfix
diagnostic
comment
use env var
avoid GIT_PAGER
trigger error on failed build again
install LaTeX and dvisvgm in sysdeps
simplify integration rules
formatting of diagnostics
more diagnostics
don't build vignettes for integration tests