docs: add description of where to pull repository when updating workspace #2831
Triggered via pull request
July 14, 2023 08:29
pre-commit-ci[bot]
pre-commit-ci[bot]
synchronize
#419
Status
Success
Total duration
24s
Artifacts
–
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
deploy-docs.yaml
on: pull_request_target
prevent-no-label-execution
/
prevent-no-label-execution
1s
deploy-docs
0s
Annotations
1 notice
|
prevent-no-label-execution / prevent-no-label-execution
Please add the label 'deploy-docs' to run this workflow.
|