Skip to content

Conversation

@hagenw
Copy link
Member

@hagenw hagenw commented May 10, 2024

Closes #402

This ensures that we do not use the user specified shared cache root, when building the docs from docs/usage.rst.

@hagenw hagenw requested a review from ChristianGeng May 10, 2024 08:04
Copy link
Member

@ChristianGeng ChristianGeng left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

As discussed here in
#402 (comment)
setting SHARED_CACHE_ROOT becomes necessary.

Approving.

@hagenw hagenw merged commit b3657c4 into main May 10, 2024
@hagenw hagenw deleted the fix-publish-docs branch May 10, 2024 08:08
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.

Dependency file error reported when trying to build the documentation locally

3 participants