From c7996ea0153b049db33d6289cd460405724a8377 Mon Sep 17 00:00:00 2001
From: "coderabbitai[bot]"
 <136622811+coderabbitai[bot]@users.noreply.github.com>
Date: Wed, 14 Oct 2026 00:03:13 +0000
Subject: [PATCH] fix: apply CodeRabbit auto-fixes

Fixed 1 file(s) based on 1 failed pre-merge check.

Co-authored-by: CodeRabbit <noreply@coderabbit.ai>
---
 scripts/check-abi-tree.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/check-abi-tree.sh b/scripts/check-abi-tree.sh
index 923e761..89c2955 100755
--- a/scripts/check-abi-tree.sh
+++ b/scripts/check-abi-tree.sh
@@ -7,6 +7,7 @@
 set -euo pipefail
 cd "$(dirname "$0")/.."
 fail=0
+# say MSG...: print MSG prefixed with the script's tag to stdout.
 say() { echo "[check-abi-tree] $*"; }
 
 # 1. The symlink farm (PR #140, src/idris-abi/) is retired.