Survey on Merged PR by Non-Member

Remove unnecessary condition for this repo #131

Sign in to view logs

Triggered via pull request October 22, 2025 20:04

jkwatson

closed #7781

Status Success

Total duration 16s

Artifacts –

survey-on-merged-pr.yml

on: pull_request_target

Add survey to PR if author is not a member