Label closed PR as merged and leave a comment

[0.85] Add support for custom headers in devsupport #9177

Sign in to view logs

Triggered via push March 6, 2026 16:04

cipolleschi

cipolleschi/devsupport-0.85

Status Success

Total duration 10s

Artifacts –

close-pr.yml

on: push

comment-and-label