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

Add QUEST available datasets to readthedocs #439

Closed
wants to merge 7 commits into from

Conversation

zachghiaccio
Copy link
Contributor

No description provided.

@github-actions
Copy link

github-actions bot commented Aug 29, 2023

Binder 👈 Launch a binder notebook on this branch for commit 9a6db18

I will automatically update this comment whenever this PR is modified

Binder 👈 Launch a binder notebook on this branch for commit 63a7129

Binder 👈 Launch a binder notebook on this branch for commit 5988e66

Binder 👈 Launch a binder notebook on this branch for commit ad867d2

@JessicaS11 JessicaS11 changed the base branch from argo to shared_search August 30, 2023 16:41
doc/source/index.rst Outdated Show resolved Hide resolved
@JessicaS11 JessicaS11 changed the base branch from shared_search to development September 6, 2023 14:49
@JessicaS11 JessicaS11 changed the base branch from development to shared_search September 6, 2023 14:49
@JessicaS11 JessicaS11 changed the base branch from shared_search to argo September 6, 2023 14:49
@JessicaS11 JessicaS11 changed the base branch from argo to development September 6, 2023 14:50
@JessicaS11 JessicaS11 changed the base branch from development to shared_search September 6, 2023 14:50
@JessicaS11
Copy link
Member

Docs build is failing due to code changes that are not showing up in the diff (so are hard to track down). The base branch for merging this PR was changed, but the diff (three dot by default) isn't updating and showing the appropriate diff for this case (two dot). It's a longstanding (7 year!) issue with changing PR bases in GitHub, and the "change the base and change it back again" hack didn't work here. Recommend we scrap this PR and start fresh.

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.

2 participants