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 docs publish stage for release workflow #83

Merged
merged 1 commit into from
Jul 6, 2024
Merged

Fix docs publish stage for release workflow #83

merged 1 commit into from
Jul 6, 2024

Conversation

greyli
Copy link
Collaborator

@greyli greyli commented Jul 6, 2024

No description provided.

@greyli greyli merged commit 6698e8a into master Jul 6, 2024
15 checks passed
@greyli greyli deleted the fix-docs branch July 6, 2024 06:41
@greyli greyli restored the fix-docs branch July 6, 2024 06:41
@greyli greyli deleted the fix-docs branch July 6, 2024 06:41
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