Skip to content

Comments

Fix RTHD build#61

Merged
atimin merged 2 commits intomainfrom
fix-mkdocs
Oct 6, 2023
Merged

Fix RTHD build#61
atimin merged 2 commits intomainfrom
fix-mkdocs

Conversation

@atimin
Copy link
Member

@atimin atimin commented Oct 6, 2023

Closes #

Please check if the PR fulfills these requirements

  • Tests for the changes have been added (for bug fixes / features)
  • Docs have been added / updated (for bug fixes / features)
  • CHANGELOG.md has been updated (for bug fixes / features / docs)

What kind of change does this PR introduce?

Bug fix in docs

What is the current behavior?

The documentation wasn't built on RTHD because of wrong paths to snippets.

What is the new behavior?

The paths are fixed

Does this PR introduce a breaking change?

No

Other information:

@atimin atimin changed the title Fix docs build Fix RTHD build Oct 6, 2023
@atimin atimin merged commit 5d64031 into main Oct 6, 2023
@atimin atimin deleted the fix-mkdocs branch October 6, 2023 20:32
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.

1 participant