[proof] current-head structural receipt for upstream PR #1007#2

PollyBot13 wants to merge 1 commit into

proof-base-1007-v2PollyBot13/clawsweeper:proof-base-1007-v2from

fix/review-storm-self-activityPollyBot13/clawsweeper:fix/review-storm-self-activityCopy head branch name to clipboard