Skip to content

Conversation

OrKoN
Copy link
Collaborator

@OrKoN OrKoN commented Oct 12, 2025

No description provided.

@OrKoN OrKoN force-pushed the orkon/ci-devtools branch from 9955f10 to 6152cc0 Compare October 12, 2025 13:54
@OrKoN OrKoN enabled auto-merge (squash) October 12, 2025 13:54
@OrKoN OrKoN force-pushed the orkon/ci-devtools branch from 6152cc0 to 2151f3f Compare October 12, 2025 13:55
@OrKoN OrKoN merged commit 323a063 into main Oct 12, 2025
17 checks passed
@OrKoN OrKoN deleted the orkon/ci-devtools branch October 12, 2025 13:57
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.

2 participants