Skip to content

CI updates#452

Merged
giarc3 merged 1 commit into
mainfrom
ci-updates
May 13, 2026
Merged

CI updates#452
giarc3 merged 1 commit into
mainfrom
ci-updates

Conversation

@giarc3
Copy link
Copy Markdown
Member

@giarc3 giarc3 commented May 13, 2026

No description provided.

@giarc3 giarc3 merged commit 777914a into main May 13, 2026
1 check passed
@giarc3 giarc3 deleted the ci-updates branch May 13, 2026 22:15
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.

3 participants