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"