Survey on Merged PR by Non-Member

[infra] Add stats-report generating scripts #1947

Sign in to view logs

Triggered via pull request October 31, 2025 17:30

chalin

closed #8304

Status Success

Total duration 15s

Artifacts –

survey-on-merged-pr.yml

on: pull_request_target

Add survey to PR if author is not a member

⚡