Label closed PR as merged and leave a comment

Write the prebuilt module-map flag to OTHER_CPLUSPLUSFLAGS too (#57742) #11084

Sign in to view logs

Triggered via push August 3, 2026 17:02

0.87-stable

Status Success

Total duration 50m 0s

Artifacts –

close-pr.yml

on: push

comment-and-label