Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix github-release script error #3864

Merged
merged 1 commit into from
Jul 2, 2024

Conversation

s2quake
Copy link
Contributor

@s2quake s2quake commented Jul 2, 2024

Fix an error occurred when the dist-github-release.sh script is executed

@s2quake s2quake requested a review from OnedgeLee July 2, 2024 08:08
@s2quake s2quake added the no changelog Bypasses changelog check label Jul 2, 2024
@OnedgeLee OnedgeLee merged commit c1df40d into planetarium:main Jul 2, 2024
13 of 15 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
no changelog Bypasses changelog check
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants