Skip to content

Comments

ci: fix readthedocs#99

Merged
henryiii merged 1 commit intomainfrom
henryiii-patch-1
May 17, 2023
Merged

ci: fix readthedocs#99
henryiii merged 1 commit intomainfrom
henryiii-patch-1

Conversation

@henryiii
Copy link
Member

No description provided.

@henryiii henryiii merged commit d0cb9c0 into main May 17, 2023
@henryiii henryiii deleted the henryiii-patch-1 branch May 17, 2023 05: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.

1 participant