Label closed PR as merged and leave a comment

Exclude generated code from lint #7903

Sign in to view logs

Triggered via push November 13, 2025 11:47

Simek

@simek/lint-ignore-generated-code

Status Success

Total duration 9s

Artifacts –

close-pr.yml

on: push

comment-and-label