ci: debug coredump bt

emqx · Sep 4, 2023 · 85a025f · 85a025f
1 parent 24065b0
commit 85a025f
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -121,9 +121,11 @@ jobs:
       - name: gdb bt
         if: failure()
         run: |
+          set -x
           which gdb || sudo apt install gdb
-          corefile=$(find _build/test -name core)
-          if [ -n $corefile ]; then
+          corefile=$(find _build/test -name core.*)
+          if [ -n "$corefile" ]; then
+            echo "found corefile: $corefile";
             gdb -ex bt $(erl -noshell -eval 'io:format(code:root_dir()),halt()')/erts-*/bin/beam.smp "${corefile}"
           else
             echo "No coredump found"