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

Solving broken docs #179

Merged
merged 1 commit into from
Jan 17, 2023
Merged

Solving broken docs #179

merged 1 commit into from
Jan 17, 2023

Conversation

RobPasMue
Copy link
Member

Closes #178

@github-actions github-actions bot added maintenance Generic maintenance related bug Defects or glitches reported by users or developers labels Jan 17, 2023
@Revathyvenugopal162 Revathyvenugopal162 merged commit 311e930 into main Jan 17, 2023
@Revathyvenugopal162 Revathyvenugopal162 deleted the fix/dev-docs branch January 17, 2023 13:09
Revathyvenugopal162 pushed a commit that referenced this pull request Jan 23, 2023
@RobPasMue @Revathyvenugopal162
Solving broken docs (#179)
89f54dd
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@Revathyvenugopal162 Revathyvenugopal162 Revathyvenugopal162 approved these changes

Assignees

@RobPasMue RobPasMue

Labels
bug Defects or glitches reported by users or developers maintenance Generic maintenance related
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Logo and navigation bar are failing to support sphinx 6+.
2 participants
@RobPasMue @Revathyvenugopal162