ruff
Use `pages deploy` instead of the deprecated `pages publish` command to deploy the docs website
#7277
Merged

Use `pages deploy` instead of the deprecated `pages publish` command to deploy the docs website #7277

zanieb merged 1 commit into main from ci/docs
zanieb
zanieb Use `pages deploy` instead of the deprecated `pages publish` command …
f06a424b
zanieb zanieb added internal
MichaReiser
MichaReiser approved these changes on 2023-09-11
zanieb zanieb merged ff0feb19 into main 2 years ago
zanieb zanieb deleted the ci/docs branch 2 years ago
zanieb zanieb added release

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone