Skip to content

chore: update ci job names#258

Merged
Lightning00Blade merged 2 commits intomainfrom
fix-names
Oct 2, 2025
Merged

chore: update ci job names#258
Lightning00Blade merged 2 commits intomainfrom
fix-names

Conversation

@Lightning00Blade
Copy link
Copy Markdown
Collaborator

No description provided.

@Lightning00Blade Lightning00Blade changed the title chore: update names chore: update ci job names Oct 2, 2025
@Lightning00Blade Lightning00Blade merged commit 1100dbe into main Oct 2, 2025
17 checks passed
@Lightning00Blade Lightning00Blade deleted the fix-names branch October 2, 2025 14:12
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