Skip to content

chore: ci workflow change - #25

Merged
adrida merged 1 commit into
mainfrom
chore/remove-pr-gate
Jun 9, 2026
Merged

adrida merged 1 commit into
mainfrom
chore/remove-pr-gate

Conversation

@adrida

@adrida adrida commented Jun 9, 2026 •

Copy link
Copy Markdown
Owner

Internal CI workflow change.

@adrida
adrida merged commit a45b0ec into main Jun 9, 2026
@adrida
adrida deleted the chore/remove-pr-gate branch June 9, 2026 10:46
@adrida adrida changed the title chore: remove temporary PR gate chore: ci workflow change Jun 9, 2026
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