Label closed PR as merged and leave a comment

Generated from a GitHub Pull Request. Run 'jf sync' on this diff to l… #10092

Sign in to view logs

Triggered via push May 29, 2026 19:50

meta-codesync[bot]

main

Status Success

Total duration 48s

Artifacts –

close-pr.yml

on: push

comment-and-label