Skip to content
Jenkins
All
seed
#902
Search
Sign in
Status
Changes
Console Output
View Build Information
Polling Log
Timings
Git Build Data
Open Blue Ocean
Previous Build
Next Build
Changes
Started by GitHub push by ti-chi-bot[bot]
Started 9 mo 29 days ago
Queued 48 sec
Took 2 min 22 sec on default-0njd1
docs: add guide for cherry-picking pull requests to another branch
(
9e0f792
)
docs/guides/cherry-pick-pull-request.md
docs/guides/CI.md
docs/guides/README.md
noreply
at
8:45 AM 7/24/25