Skip to content

Gate PR Builder on the trigger-pr-builder label as a temporary workaround - #4292

Merged
DonOmalVindula merged 1 commit into
thunder-id:mainfrom
DonOmalVindula:ci/label-gated-pr-builder
Jul 23, 2026
Merged

Gate PR Builder on the trigger-pr-builder label as a temporary workaround#4292
DonOmalVindula merged 1 commit into
thunder-id:mainfrom
DonOmalVindula:ci/label-gated-pr-builder

Gate PR Builder on the trigger-pr-builder label as a temporary workar…

d063e28
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
🏷️ Check PR Labels
succeeded Jul 23, 2026 in 4s