Skip to content

zh,en: rename Scheduler to Scheduling #8133

zh,en: rename Scheduler to Scheduling

zh,en: rename Scheduler to Scheduling #8133

Triggered via pull request November 28, 2025 06:27
Status Success
Total duration 33s
Artifacts

ci.yaml

on: pull_request
check-file-encoding
12s
check-file-encoding
check-git-conflicts
10s
check-git-conflicts
markdownlint
23s
markdownlint
verify-internal-links
29s
verify-internal-links
verify-internal-link-anchors
17s
verify-internal-link-anchors
check-control-characters
10s
check-control-characters
check-unclosed-tags
12s
check-unclosed-tags
check-manual-line-breaks
11s
check-manual-line-breaks
Fit to window
Zoom out
Zoom in