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

Point switcher JSON to its version on latest readthedocs build #199

Merged

Conversation

HealthyPear
Copy link
Member

Hopefully, this closes #195.

The reason behind the malfunction might be a CORS (Cross-Origin Resource Sharing) issue: basically an issue in sharing URLs access between different APIs (in our case GitHub and readthedocs).
During the build on readthedocs (in our case) it should be more safe to stay "there" when looking for reference files at specific URLs.

The documentation build from the CI should work anyways as it doesn't use the latest JSON file (the PR has a more predictable reference).

@HealthyPear HealthyPear added documentation Documentation or services hosting it fix A PR that fixes a bug or a wrong behaviour. labels May 4, 2022
@HealthyPear HealthyPear requested a review from kosack May 4, 2022 11:03
@codecov
Copy link

codecov bot commented May 4, 2022

Codecov Report

Merging #199 (e8316a5) into master (6af0fab) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##           master     #199   +/-   ##
=======================================
  Coverage   63.11%   63.11%           
=======================================
  Files          28       28           
  Lines        2890     2890           
=======================================
  Hits         1824     1824           
  Misses       1066     1066           

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 6af0fab...e8316a5. Read the comment docs.

@HealthyPear HealthyPear merged commit 51ed745 into cta-observatory:master May 4, 2022
@HealthyPear HealthyPear deleted the fix-version_dropdown_menu branch May 4, 2022 11:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Documentation or services hosting it fix A PR that fixes a bug or a wrong behaviour.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Dropdown menu to switch between docs versions doesn't work
1 participant