Skip to content

Update CI#767

Merged
bieniu merged 3 commits intomasterfrom
ci-update
Jan 17, 2026
Merged

Update CI#767
bieniu merged 3 commits intomasterfrom
ci-update

Conversation

@bieniu
Copy link
Copy Markdown
Owner

@bieniu bieniu commented Jan 17, 2026

No description provided.

@bieniu bieniu added the ci PR related to CI label Jan 17, 2026
@bieniu bieniu merged commit 503bd24 into master Jan 17, 2026
6 checks passed
@bieniu bieniu deleted the ci-update branch January 17, 2026 11:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci PR related to CI

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant