Skip to content

ci: skip pr-comment workflow on closed PRs#5979

Closed
midleman wants to merge 4 commits intomainfrom mi/skip-pr-comment-on-closed

Commits

Commits on Jan 13, 2025