Skip to content

Fix: use pull_request_target in blueprint.yml to unblock fork PRs#74

Open
sorry-nofun wants to merge 1 commit into
polyproof:mainfrom
sorry-nofun:fix-blueprint-trigger
Open

Fix: use pull_request_target in blueprint.yml to unblock fork PRs#74
sorry-nofun wants to merge 1 commit into
polyproof:mainfrom
sorry-nofun:fix-blueprint-trigger

Commits

Commits on Apr 23, 2026