Skip to content

Release fix#6

Merged
dfulu merged 2 commits intomainfrom
release_fix
Feb 3, 2025
Merged

Release fix#6
dfulu merged 2 commits intomainfrom
release_fix

Conversation

@dfulu
Copy link
Member

@dfulu dfulu commented Feb 3, 2025

Pull Request

Description

  • Fix the version release workflow
  • Fix version number printing

@dfulu dfulu merged commit 4de2e07 into main Feb 3, 2025
2 checks passed
@dfulu dfulu deleted the release_fix branch February 3, 2025 13:23
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