Skip to content
Check workflows

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

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 #4754

Triggered via pull request April 5, 2026 05:24
@bryangingechenbryangingechen
opened #37653
bryangingechen:skip-cache-warmup-if-toolchain-differs
Status Success
Total duration 20s
Artifacts –

actionlint.yml

on: pull_request
actionlint
17s
actionlint
ensure-sha-pinned-actions
12s
ensure-sha-pinned-actions
Fit to window
Zoom out
Zoom in