Skip to content

gh-138050: Global cooling: use cold flag instead of warm flag in MAKE_WARM #231806

gh-138050: Global cooling: use cold flag instead of warm flag in MAKE_WARM

gh-138050: Global cooling: use cold flag instead of warm flag in MAKE_WARM #231806

Triggered via pull request January 14, 2026 07:21
Status Success
Total duration 11s
Artifacts

require-pr-label.yml

on: pull_request
DO-NOT-MERGE
5s
DO-NOT-MERGE
Unresolved review
7s
Unresolved review
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Unresolved review
Label error. Requires exactly 1 of: type-feature. Found: awaiting review