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

Fix develop branch on RTD #2006

Merged
merged 1 commit into from
Aug 22, 2017

Conversation

benjaoming
Copy link
Contributor

Reverts a change to support wide tables until we figure out how to add theme_overrides.css without overriding the entire theme when on remote RTD server

See:
readthedocs/readthedocs.org#2116
readthedocs/sphinx_rtd_theme#432

Made you reviewer @jamalex so you know what it was about :)

…d theme_overrides.css without overriding the entire theme when on remote RTD server

See:
readthedocs/readthedocs.org#2116
readthedocs/sphinx_rtd_theme#432
@codecov-io
Copy link

codecov-io commented Aug 21, 2017

Codecov Report

Merging #2006 into develop will decrease coverage by 0.05%.
The diff coverage is n/a.

Impacted file tree graph

@@             Coverage Diff             @@
##           develop    #2006      +/-   ##
===========================================
- Coverage    73.09%   73.04%   -0.06%     
===========================================
  Files          169      169              
  Lines         5928     5928              
  Branches       739      739              
===========================================
- Hits          4333     4330       -3     
- Misses        1472     1474       +2     
- Partials       123      124       +1
Impacted Files Coverage Δ
kolibri/utils/system.py 32.92% <0%> (-3.66%) ⬇️

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 3bf5676...1e1fb2e. Read the comment docs.

@rtibbles rtibbles merged commit 5c4c4d8 into learningequality:develop Aug 22, 2017
@benjaoming benjaoming deleted the fix-develop-on-rtd branch November 23, 2017 13:04
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.

4 participants