From 85a025f81bd8aa94b726fb03c1c740ed4e11c16e Mon Sep 17 00:00:00 2001
From: William Yang <mscame@gmail.com>
Date: Mon, 4 Sep 2023 17:39:09 +0200
Subject: [PATCH] ci: debug coredump bt

---
 .github/workflows/main.yml | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 5e864810..3e075e0f 100644
--- 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"