diff options
Diffstat (limited to '')
| -rw-r--r-- | .github/workflows/lint.yaml | 6 | 
1 files changed, 5 insertions, 1 deletions
| diff --git a/.github/workflows/lint.yaml b/.github/workflows/lint.yaml index abd7952..4a5288d 100644 --- a/.github/workflows/lint.yaml +++ b/.github/workflows/lint.yaml @@ -40,4 +40,8 @@ jobs:        # Show the log to debug failures.        - name: Show pre-commit log          if: always() && steps.run-pre-commit-hooks.outcome == 'failure' -        run: cat "${PRE_COMMIT_HOME}/pre-commit.log" +        run: | +          set -eu +          if [ -f "${PRE_COMMIT_HOME}/pre-commit.log" ]; then +            cat "${PRE_COMMIT_HOME}/pre-commit.log" +          fi | 
