Skip to content

RTD and codecov doc updates#75

Merged
mmckerns merged 3 commits intomasterfrom
updocs
Jun 16, 2025
Merged

RTD and codecov doc updates#75
mmckerns merged 3 commits intomasterfrom
updocs

Conversation

@mmckerns
Copy link
Copy Markdown
Member

Summary

sync with RTD 13.4.0; add token to codecov

@mmckerns mmckerns added this to the pox-0.3.7 milestone Jun 16, 2025
@mmckerns mmckerns merged commit 1083580 into master Jun 16, 2025
3 of 4 checks passed
@mmckerns mmckerns deleted the updocs branch June 16, 2025 03:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant