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.

Sign up for GitHub

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

Jump to bottom

fix docs build #141

Merged
merged 2 commits into from
Jan 19, 2024
Merged

fix docs build #141

merged 2 commits into from
Jan 19, 2024

Conversation

jerch
Copy link
Collaborator

@jerch jerch commented Jan 19, 2024 •
edited
Loading

fix docs build version deps, re-order test cases in CI

@jerch jerch mentioned this pull request Jan 19, 2024
Merged
@jerch jerch changed the title fix docs build version deps, re-order task cases in CI fix docs build Jan 19, 2024
@coveralls
Copy link

Pull Request Test Coverage Report for Build 7585197804

  • 0 of 0 changed or added relevant lines in 0 files are covered.
  • No unchanged relevant lines lost coverage.
  • Overall coverage remained the same at 94.858%
Totals Coverage Status
Change from base Build 6710585420: 0.0%
Covered Lines: 1134
Relevant Lines: 1180
💛 - Coveralls

@jerch jerch merged commit 682a591 into master Jan 19, 2024
11 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@jerch @coveralls