Skip to content

MNT deploy docs on release instread of on push#85

Merged
lorentzenchr merged 1 commit intomainfrom deploy_doc_releaseJul 14, 2023
+8-4

Commits

Commits on Jul 14, 2023