Skip to content
Check PR titles

[Merged by Bors] - ci: skip cache warmup if the "previous" commit uses a different toolchain #18931

Sign in to view logs

[Merged by Bors] - ci: skip cache warmup if the "previous" commit uses a different toolchain

[Merged by Bors] - ci: skip cache warmup if the "previous" commit uses a different toolchain #18931

Triggered via pull request April 5, 2026 05:24
@bryangingechenbryangingechen
opened #37653
Status Success
Total duration 1m 17s
Artifacts –

check_pr_titles.yaml

on: pull_request_target
check_title
1m 15s
check_title
Fit to window
Zoom out
Zoom in