diff options
Diffstat (limited to '.github/scripts/test-no-crash-reports.sh')
| -rw-r--r-- | .github/scripts/test-no-crash-reports.sh | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/.github/scripts/test-no-crash-reports.sh b/.github/scripts/test-no-crash-reports.sh deleted file mode 100644 index c67e342c06..0000000000 --- a/.github/scripts/test-no-crash-reports.sh +++ /dev/null @@ -1,9 +0,0 @@ -directory="run/crash-reports" -if [ -d $directory ]; then - echo "Crash reports detected:" - cat $directory/* - exit 1 -else - echo "No crash reports detected" - exit 0 -fi |