Skip to content

zh,en: rename Scheduler to Scheduling (#3024) #8134

zh,en: rename Scheduler to Scheduling (#3024)

zh,en: rename Scheduler to Scheduling (#3024) #8134

Triggered via pull request November 28, 2025 08:02
Status Success
Total duration 36s
Artifacts

ci.yaml

on: pull_request
check-file-encoding
12s
check-file-encoding
check-git-conflicts
13s
check-git-conflicts
markdownlint
28s
markdownlint
verify-internal-links
31s
verify-internal-links
verify-internal-link-anchors
14s
verify-internal-link-anchors
check-control-characters
9s
check-control-characters
check-unclosed-tags
8s
check-unclosed-tags
check-manual-line-breaks
11s
check-manual-line-breaks
Fit to window
Zoom out
Zoom in