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 stable docs badge link #53

Merged
merged 1 commit into from
Sep 3, 2024
Merged

Fix stable docs badge link #53

merged 1 commit into from
Sep 3, 2024

Conversation

AntonReinhard
Copy link
Member

@AntonReinhard AntonReinhard commented Sep 2, 2024

Just this one last hotfix, I swear
Still no squashing

I will move the v0.1.0 tag when this is through (suboptimal, I know, but I have not made the release yet so it should be fine)

PS: do not rebase please

Copy link
Member

@szabo137 szabo137 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Take as much hotfixes as you need to make it work 🙆‍♂️
The move of the tag is not problematic because the currently used tag is not released, as you already pointed out.

@AntonReinhard
Copy link
Member Author

The move of the tag is not problematic because the currently used tag is not released, as you already pointed out.

Yeah. I only made it to test that the stable documentation is now correctly being built when a tag is pushed.

@AntonReinhard AntonReinhard merged commit c43e326 into main Sep 3, 2024
5 checks passed
@AntonReinhard AntonReinhard deleted the hotfix/docs branch September 3, 2024 08:21
@AntonReinhard AntonReinhard added this to the Release-0.1.0 milestone Sep 12, 2024
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.

2 participants