Hi, Melanie mentioned on the Postgres Discord channel that the OpenBSD CI task’s 'Run cores' script fails [1] because it tries to process a file named minfree, which is not a valid core file.
This patch updates the cores_backtrace.sh script to skip the minfree file across all CI operating systems, since it is not expected to be a valid core file on any of them. The fix was proposed by Christoph Berg, I created the patch and verified that it works. [1] https://cirrus-ci.com/task/6309105838587904 -- Regards, Nazir Bilal Yavuz Microsoft
From adaaf0ee12a16ab944ed288b05e2d7636ae1cbaa Mon Sep 17 00:00:00 2001 From: Nazir Bilal Yavuz <[email protected]> Date: Fri, 17 Oct 2025 10:39:34 +0300 Subject: [PATCH v1] ci: skip minfree file in the cores_backtrace.sh The crash directory may contain a file named "minfree" which is not a core dump. When the script attempts to process this file, it fails because "minfree" is not a valid core file. Reported-by: Melanie Plageman <[email protected]> Author: Christoph Berg <[email protected]> Reviewed-by: Nazir Bilal Yavuz <[email protected]> --- src/tools/ci/cores_backtrace.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/tools/ci/cores_backtrace.sh b/src/tools/ci/cores_backtrace.sh index 54607415258..89d08fd253a 100755 --- a/src/tools/ci/cores_backtrace.sh +++ b/src/tools/ci/cores_backtrace.sh @@ -18,7 +18,8 @@ case $os in esac first=1 -for corefile in $(find "$directory" -type f) ; do +# minfree is not a core file but may exists in the crash directory, skip it +for corefile in $(find "$directory" -type f -not -name "minfree") ; do if [ "$first" -eq 1 ]; then first=0 else -- 2.51.0
