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

Public documentation (part 2/2) #227

Merged
merged 6 commits into from Jul 31, 2022
Merged

Public documentation (part 2/2) #227

merged 6 commits into from Jul 31, 2022

Conversation

joulev
Copy link
Owner

@joulev joulev commented Jul 30, 2022

This will finally close #177. Hopefully.

Signed-off-by: Vu Van Dung <joulev.vvd@yahoo.com>
@joulev joulev added the documentation Improvements or additions to documentation label Jul 30, 2022
@codecov
Copy link

codecov bot commented Jul 30, 2022

Codecov Report

Merging #227 (d7daf2f) into main (a6d7770) will not change coverage.
The diff coverage is n/a.

Impacted file tree graph

@@           Coverage Diff           @@
##             main     #227   +/-   ##
=======================================
  Coverage   94.51%   94.51%           
=======================================
  Files          43       43           
  Lines         894      894           
  Branches      180      180           
=======================================
  Hits          845      845           
  Misses         44       44           
  Partials        5        5           

Signed-off-by: Vu Van Dung <joulev.vvd@yahoo.com>
Signed-off-by: Vu Van Dung <joulev.vvd@yahoo.com>
Signed-off-by: Vu Van Dung <joulev.vvd@yahoo.com>
Signed-off-by: Vu Van Dung <joulev.vvd@yahoo.com>
Signed-off-by: Vu Van Dung <joulev.vvd@yahoo.com>
@joulev
Copy link
Owner Author

joulev commented Jul 31, 2022

Things looking good.

@joulev joulev marked this pull request as ready for review July 31, 2022 03:12
@joulev joulev merged commit 09186e8 into main Jul 31, 2022
@joulev joulev deleted the documentation-p2 branch July 31, 2022 06:40
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
Projects
No open projects
Status: Done
Development

Successfully merging this pull request may close these issues.

Public documentation task list
1 participant