Skip to content

CI: update & pin version#456

Merged
azu merged 1 commit intomasterfrom
update-deps
Mar 15, 2025
Merged

CI: update & pin version#456
azu merged 1 commit intomasterfrom
update-deps

Conversation

@azu
Copy link
Copy Markdown
Member

@azu azu commented Mar 15, 2025

@azu azu added the Type: Dependencies Dependency issues or Changes to dependency files label Mar 15, 2025
@azu azu changed the title CI: pin version CI: update & pin version Mar 15, 2025
@azu azu merged commit c09d26a into master Mar 15, 2025
20 checks passed
@azu azu deleted the update-deps branch March 15, 2025 23:40
@github-actions github-actions bot mentioned this pull request May 1, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Type: Dependencies Dependency issues or Changes to dependency files

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant