Label closed PR as merged and leave a comment

Avoid adding stdlib (#48468) #2997

Sign in to view logs

Triggered via push January 3, 2025 18:33

facebook-github-bot

main

Status Success

Total duration 13s

Artifacts –

close-pr.yml

on: push

comment-and-label

Annotations

1 warning

comment-and-label

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636