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

#529: Documentation deployment may not be working #530

Merged
merged 5 commits into from
Sep 23, 2024

Conversation

cwschilly
Copy link
Contributor

@cwschilly cwschilly commented Sep 12, 2024

Fixes #529

Waiting to merge until #528 (that should resolve CI problems)

@cwschilly cwschilly linked an issue Sep 12, 2024 that may be closed by this pull request
@cwschilly cwschilly self-assigned this Sep 12, 2024
@cwschilly
Copy link
Contributor Author

cwschilly commented Sep 12, 2024

CI is failing due to changes to vt's JSON data files validator (related to the the seq_id stuff). The problem should be resolved in PR #528

Successful deployment of docs can be seen in this CI run.

@ppebay
Copy link
Contributor

ppebay commented Sep 19, 2024

CI should pass once PR #528 is merged

@cwschilly cwschilly force-pushed the 529-documentation-deployment-may-not-be-working branch from 0c5002c to 7a5bf87 Compare September 20, 2024 18:04
@cwschilly cwschilly force-pushed the 529-documentation-deployment-may-not-be-working branch from 7a5bf87 to 7041919 Compare September 23, 2024 13:43
@cwschilly cwschilly merged commit 02237a1 into develop Sep 23, 2024
11 checks passed
@cwschilly cwschilly deleted the 529-documentation-deployment-may-not-be-working branch September 23, 2024 14:49
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.

Documentation deployment may not be working
3 participants