-
Notifications
You must be signed in to change notification settings - Fork 0
Pull requests: deedseal/proof-check
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
N25: owner-gated re-review label trigger
#49
opened Sep 13, 2026 by
kbpcorebot-bot
Collaborator
•
Draft
N28: exact-branch Builder confinement design and offline proof
#38
opened Sep 9, 2026 by
avoroncov971-maker
Contributor
•
Draft
N20: Run Proof Check gate from trusted base workflow
#14
opened Sep 8, 2026 by
avoroncov971-maker
Contributor
•
Draft
N20 smoke C: missing scope declaration
#12
opened Sep 8, 2026 by
avoroncov971-maker
Contributor
•
Draft
N20 smoke A: admissible scoped change
#10
opened Sep 8, 2026 by
avoroncov971-maker
Contributor
•
Draft
EXP-CONTAIN-001: pre-register containment experiment
#6
opened Sep 8, 2026 by
avoroncov971-maker
Contributor
•
Draft
ProTip!
Filter pull requests by the default branch with base:main.