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

Use `pages deploy` instead of the deprecated `pages publish` command …

f06a424b

zanieb added internal

MichaReiser approved these changes on 2023-09-11

zanieb merged ff0feb19 into main 2 years ago

zanieb deleted the ci/docs branch 2 years ago

zanieb added release

Reviewers

MichaReiser

Assignees

No one assigned

Labels

internal release

Milestone

No milestone