diff options
| author | Dario Nieuwenhuis <[email protected]> | 2023-12-14 16:30:45 +0100 |
|---|---|---|
| committer | Dario Nieuwenhuis <[email protected]> | 2023-12-14 16:30:45 +0100 |
| commit | e579095a9075c8a3efdb956877b533f47ef1ec42 (patch) | |
| tree | 3c91ef0ddae3ad4ea7fe59240dcfb2c2907261ad /.github/ci/crlf.sh | |
| parent | 7b9b22d7f83b44d509be31ab51fa4385d73512f6 (diff) | |
ci: fix test job not caching anything.
Diffstat (limited to '.github/ci/crlf.sh')
| -rwxr-xr-x | .github/ci/crlf.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/ci/crlf.sh b/.github/ci/crlf.sh index 457510407..69838ce88 100755 --- a/.github/ci/crlf.sh +++ b/.github/ci/crlf.sh | |||
| @@ -14,4 +14,4 @@ else | |||
| 14 | echo -e "ERROR: Found ${NR_FILES} files with CRLF endings." | 14 | echo -e "ERROR: Found ${NR_FILES} files with CRLF endings." |
| 15 | echo "$FILES_WITH_CRLF" | 15 | echo "$FILES_WITH_CRLF" |
| 16 | exit "$NR_FILES" | 16 | exit "$NR_FILES" |
| 17 | fi \ No newline at end of file | 17 | fi |