EveryVoice
ci: fix and revamp how we publish documentation with mike
#402
Merged

ci: fix and revamp how we publish documentation with mike #402

joanise merged 1 commit into main from dev.ej/fix-publish-docs
joanise
joanise ci: fix and revamp how we publish documentation with mike
06cac3f7
joanise joanise requested a review from SamuelLarkin SamuelLarkin 219 days ago
joanise joanise requested a review from roedoejet roedoejet 219 days ago
github-actions
codecov
roedoejet
roedoejet approved these changes on 2024-04-24
joanise joanise merged 3eafd6e1 into main 216 days ago
joanise joanise deleted the dev.ej/fix-publish-docs branch 216 days ago
joanise

Login to write a write a comment.

Login via GitHub

Assignees
No one assigned
Labels
Milestone