Skip to content

ci: fix readthedocs build#218

Merged
majorgreys merged 1 commit intomasterfrom
majorgreys/rtd-unshallow
Aug 3, 2023
Merged

ci: fix readthedocs build#218
majorgreys merged 1 commit intomasterfrom
majorgreys/rtd-unshallow

Conversation

@majorgreys
Copy link
Contributor

No description provided.

@majorgreys majorgreys requested a review from a team as a code owner August 3, 2023 16:17
@majorgreys majorgreys enabled auto-merge (squash) August 3, 2023 16:17
@majorgreys majorgreys added the no-changelog This does not need a user visible changelog label Aug 3, 2023
@majorgreys majorgreys merged commit b29631f into master Aug 3, 2023
@majorgreys majorgreys deleted the majorgreys/rtd-unshallow branch August 3, 2023 16:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

no-changelog This does not need a user visible changelog

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants