Skip to content

Docs: add versioning and fix coverage report#17

Merged
patrick-5546 merged 14 commits into
mainfrom
update-docs
Feb 17, 2023
Merged

Docs: add versioning and fix coverage report#17
patrick-5546 merged 14 commits into
mainfrom
update-docs

Conversation

@patrick-5546
Copy link
Copy Markdown
Owner

@patrick-5546 patrick-5546 changed the title Update docs Add versioning to docs and fix coverage report page Feb 16, 2023
@patrick-5546 patrick-5546 changed the title Add versioning to docs and fix coverage report page Docs: add versioning and fix coverage report Feb 16, 2023
@patrick-5546 patrick-5546 marked this pull request as ready for review February 17, 2023 02:50
@patrick-5546 patrick-5546 merged commit d99f817 into main Feb 17, 2023
@patrick-5546 patrick-5546 deleted the update-docs branch February 17, 2023 02:53
@patrick-5546 patrick-5546 mentioned this pull request Feb 17, 2023
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.

Add documentation framework

1 participant