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

update mkdocs nav translation #49

Merged
merged 1 commit into from
May 11, 2022
Merged

update mkdocs nav translation #49

merged 1 commit into from
May 11, 2022

Conversation

yanfeng-li
Copy link
Member

What does this implement/fix? Explain your changes.

Does this close any currently open issues?

Any relevant logs, error output, etc?

Any other comments?

Where has this been tested?

Operating System:

Platform:

Target Platform:

Pinference Version:

@yanfeng-li yanfeng-li linked an issue May 9, 2022 that may be closed by this pull request
@codecov
Copy link

codecov bot commented May 9, 2022

Codecov Report

Merging #49 (77a4171) into main (4008dcb) will not change coverage.
The diff coverage is n/a.

@@            Coverage Diff            @@
##              main       #49   +/-   ##
=========================================
  Coverage   100.00%   100.00%           
=========================================
  Files           55        55           
  Lines         1000      1000           
=========================================
  Hits          1000      1000           

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 4008dcb...77a4171. Read the comment docs.

@yanfeng-li yanfeng-li requested a review from wjiuhe May 9, 2022 07:55
wjiuhe
wjiuhe previously approved these changes May 11, 2022
@yanfeng-li yanfeng-li merged commit 3dd993a into main May 11, 2022
@yanfeng-li yanfeng-li deleted the 48-docs-title-detected branch May 11, 2022 01:44
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.

[Docs] title detected
2 participants