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

📑 Docs versioning #91

Merged
merged 4 commits into from
Sep 2, 2022
Merged

📑 Docs versioning #91

merged 4 commits into from
Sep 2, 2022

Conversation

mrharpo
Copy link
Collaborator

@mrharpo mrharpo commented Aug 19, 2022

Docs versioning

  • Adds versioning with mike
  • Deployed version 0.1 to pages
  • Set default to latest

Actions

  • Added emojis to steps: 🥳
  • Configured actions to use new versioning tool

@mrharpo mrharpo added documentation 📜 Improvements or additions to documentation enhancement ➕ New feature or request labels Aug 19, 2022
@mrharpo mrharpo added this to the v0.2.0 Beta 🥯 milestone Aug 19, 2022
@mrharpo mrharpo self-assigned this Aug 19, 2022
@mrharpo mrharpo changed the title 📄 Docs versioning 📑 Docs versioning Aug 19, 2022
Copy link
Contributor

@subcontrabass subcontrabass left a comment

Choose a reason for hiding this comment

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

Thanks mike!

@mrharpo mrharpo merged commit 7097e89 into main Sep 2, 2022
@mrharpo mrharpo deleted the docs branch September 2, 2022 22:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation 📜 Improvements or additions to documentation enhancement ➕ New feature or request
Projects
No open projects
Status: Done
Development

Successfully merging this pull request may close these issues.

2 participants