Skip to content
Check labels

gh-145854: Replace DELETE_NAME with PUSH_NULL; STORE_NAME #261897

Sign in to view logs

gh-145854: Replace DELETE_NAME with PUSH_NULL; STORE_NAME

gh-145854: Replace DELETE_NAME with PUSH_NULL; STORE_NAME #261897

Triggered via pull request May 29, 2026 16:13
@brijkapadiabrijkapadia
synchronize #146006
brijkapadia:delete-name
Status Success
Total duration 8s
Artifacts –

require-pr-label.yml

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

Annotations

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