Repository navigation

Add milestone to pull requests

InternalTagAdder: defensively guard against null prebuilt tagmap entry #8017

Sign in to view logs

Triggered via pull request July 15, 2026 14:23

gh-worker-dd-mergequeue-cf854d[bot]

closed #11958

andrea.marziali/npe-tag

Status Success

Total duration 12s

Artifacts –

add-milestone-to-pull-requests.yaml

on: pull_request

Add milestone to merged pull requests