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

Render docs with Sphinx and lint them #1336

Merged
merged 12 commits into from May 7, 2020
Merged

Render docs with Sphinx and lint them #1336

merged 12 commits into from May 7, 2020

Conversation

@grahamc
Copy link
Member

grahamc commented May 6, 2020

image

@grahamc grahamc force-pushed the lint-docs branch from 8dea7f3 to c396c82 May 6, 2020
grahamc added 4 commits May 6, 2020
@grahamc grahamc force-pushed the lint-docs branch from c396c82 to ef6d169 May 6, 2020
grahamc added 5 commits May 6, 2020
@grahamc grahamc force-pushed the lint-docs branch from ef6d169 to 382be64 May 6, 2020
@grahamc grahamc changed the title Lint docs Render docs with Sphinx and lint them May 6, 2020
@grahamc grahamc marked this pull request as ready for review May 6, 2020
@grahamc grahamc requested a review from adisbladis May 6, 2020
grahamc added 2 commits May 6, 2020
Copy link
Member

adisbladis left a comment

I can't comment on the specifics of RST, but this is super nice!

@adisbladis adisbladis merged commit 88920c6 into master May 7, 2020
7 checks passed
7 checks passed
parsing
Details
build
Details
black
Details
mypy
Details
mypy-ratchet
Details
coverage
Details
docs
Details
@grahamc grahamc deleted the lint-docs branch May 7, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked issues

Successfully merging this pull request may close these issues.

None yet

2 participants
You can’t perform that action at this time.