Docs: replacing "setting" to "option" in world docs #1305
Triggered via pull request
March 22, 2024 16:46
black-sliver
black-sliver
closed
#2622
Status
Skipped
Total duration
4s
Artifacts
–
label-pull-requests.yml
on: pull_request_target
Apply content-based labels
0s
Apply peer review label
0s
Remove waiting-on labels
0s