From 60c4d442caa7adebdfa5dbf8ce108ce6ef545b7e Mon Sep 17 00:00:00 2001 From: igneum-labs <337424239+igneum-labs@users.noreply.github.com> Date: Mon, 5 Oct 2026 13:01:38 +0000 Subject: [PATCH] ci: the pinned-guests check ignores comment lines Co-Authored-By: Claude Fable 5.1 --- tools/ci/pinned-guests-check.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/ci/pinned-guests-check.sh b/tools/ci/pinned-guests-check.sh index b0a773a8e..59ee8fc1c 100755 --- a/tools/ci/pinned-guests-check.sh +++ b/tools/ci/pinned-guests-check.sh @@ -29,7 +29,7 @@ fi ALLOW='^(proving/igneum-prove/pin-guests\.sh|proving/igneum-prove/host/build\.rs|proving/igneum-prove/host/src/bin/pin\.rs|tools/ci/pinned-guests-check\.sh)$' while IFS= read -r f; do [[ "$f" =~ $ALLOW ]] && continue - if grep -qE 'IGNEUM_BUILD_GUESTS=1|cargo prove build|-p igneum-prove-(program|aggregator)\b' "$f"; then + if grep -vE '^\s*(//|#)' "$f" | grep -qE 'IGNEUM_BUILD_GUESTS=1|cargo prove build|-p igneum-prove-(program|aggregator)\b'; then # comments do not build echo "pinned-guests: $f builds a guest outside pin-guests.sh (the host embeds the pinned elf/ files; never build a guest elsewhere)"; fail=1 fi done < <(git ls-files 'packaging/**' 'proving/**' 'infra/**' 'tools/**' 'relay/playbooks/**' 'app/igneum-app/src/**' '.github/**' | grep -E '\.(sh|ps1|mjs|rs|yml|bat)$')