fix(redirects): don't prefix /docs
#3138
Triggered via pull request
August 20, 2025 22:43
avivkeller
avivkeller
labeled
#8095
Status
Success
Total duration
12s
Artifacts
–
pull-request-label.yml
on: pull_request_target
Remove Pull Request Label
10s
Annotations
1 error and 1 warning
|
Remove Pull Request Label
Error: failed to remove labels: github_actions:pull-request
|
|
Remove Pull Request Label
failed to remove label: github_actions:pull-request: HttpError: Label does not exist
|