ci: let workflow_dispatch actually deploy docs, rename to "Docs Publish" - #102
Open
petercorke wants to merge 1 commit into
Open
ci: let workflow_dispatch actually deploy docs, rename to "Docs Publish"#102petercorke wants to merge 1 commit into
petercorke wants to merge 1 commit into
