Survey on Merged PR by Non-Member

[Infra] Update BannedSymbols.txt #516

Sign in to view logs

Triggered via pull request April 15, 2026 19:00

closed #7094

Status Skipped

Total duration 1s

Artifacts –

survey-on-merged-pr.yml

on: pull_request_target

Add survey to PR if author is not a member

⚡