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, 9 insertions, 0 deletions
diff --git a/.github/scripts/test-no-crash-reports.sh b/.github/scripts/test-no-crash-reports.sh new file mode 100644 index 0000000000..c67e342c06 --- /dev/null +++ b/.github/scripts/test-no-crash-reports.sh @@ -0,0 +1,9 @@ +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 |