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

Applying proper Python formatting to logging docs #435

Merged
merged 2 commits into from
Oct 8, 2021

Conversation

john-science
Copy link
Member

The RST was not properly rendering the Python code in the logging portion of the ARMI docs. It was actually fairly hard to read.

(Also, our code coverage badge in the main README wasn't updating any more due to a GitHub caching issue, so I fixed that.)

This is a known issue with GitHub caching badges of all kinds.
Adding any query garbage to the end of our badge URL will force
GitHub to grab a new copy of our badge. Which means any time our
code coverage changes substantially we should rev the kill_count
in this URL.
It appears GitHub is defeating the whole purpose of these badges,
but there isn't much we can do about that for now.
@john-science john-science added the documentation Improvements or additions to documentation label Oct 6, 2021
@john-science john-science merged commit 6076272 into terrapower:master Oct 8, 2021
@john-science john-science deleted the fix_docs branch July 1, 2022 21:57
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
None yet
Development

Successfully merging this pull request may close these issues.

2 participants