Skip to content

chore(pstack): bump to 0.15.28, sync guide with create-formal-verification-skill - #724

Merged
cursor[bot] merged 2 commits into
mainfrom
lauren/pstack-docs-and-version-bump-1272
Oct 19, 2026
Merged

cursor[bot] merged 2 commits into
mainfrom
lauren/pstack-docs-and-version-bump-1272

Commits

  1. Commits on Oct 19, 2026