Dependabot Auto-Merge

docs(proof): Tangle proof narrative + assumption registry; refresh PROOF-NEEDS #20

Sign in to view logs

Triggered via pull request June 1, 2026 12:03

opened #25

docs/proof-narrative-and-assumption-registry

Status Skipped

Total duration 1s

Artifacts –

dependabot-automerge.yml

on: pull_request