Skip to content

Fix CI failure#74

Merged
qnighy merged 8 commits intomasterfrom
chore/fix-ci
Jun 11, 2025
Merged

Fix CI failure#74
qnighy merged 8 commits intomasterfrom
chore/fix-ci

Conversation

@qnighy
Copy link
Collaborator

@qnighy qnighy commented Jun 11, 2025

Why

CI is failing due to old codebase

What

Fix and modernize the CI procedure.

@qnighy qnighy changed the title Fix add-path Fix CI failure Jun 11, 2025
@qnighy qnighy merged commit 7a26d9a into master Jun 11, 2025
8 checks passed
@qnighy qnighy deleted the chore/fix-ci branch June 11, 2025 05:53
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