Survey on Merged PR by Non-Member

[CI] Warn about spec pages without level 1 headings #459

Sign in to view logs

Triggered via pull request March 7, 2025 19:27

chalin

closed #6495

Status Success

Total duration 12s

Artifacts –

survey-on-merged-pr.yml

on: pull_request_target

Add survey to PR if author is not a member