PR #3015 ci: publish docs on `workflow_dispatch`

ci: publish docs on `workflow_dispatch` #3015

Kludex merged 1 commit into main from publish-docs-on-workflow

ci: publish docs on `workflow_dispatch`

fe7e0283

Kludex merged dd22af6c into main 112 days ago

Kludex deleted the publish-docs-on-workflow branch 112 days ago

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Milestone

No milestone