Skip to content

ci: refresh pull request triggers - #1

Merged
NoctilumeDev merged 1 commit into
mainfrom
ci/refresh-pr-triggers
Aug 20, 2026
Merged

NoctilumeDev merged 1 commit into
mainfrom
ci/refresh-pr-triggers

Conversation

@NoctilumeDev

Copy link
Copy Markdown
Owner

Summary

  • rerun repository gates when pull request metadata or base selection changes
  • register the gate workflow for GitHub merge queue validation
  • preserve existing job logic and the main branch filter

Verification

  • yaml-lint .github/workflows/repository-gates.yml
  • git diff --check

@NoctilumeDev
NoctilumeDev marked this pull request as ready for review August 20, 2026 13:54
@NoctilumeDev
NoctilumeDev merged commit 6d1a977 into main Aug 20, 2026
1 check passed
@NoctilumeDev
NoctilumeDev deleted the ci/refresh-pr-triggers branch August 20, 2026 13:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant