Repository navigation

2.0.0-rc.17: Lauren's eb4db2b, a skill that draws a TLA+ model as a statechart a PM can read - #41

Merged

chhoumann merged 3 commits into

mainfrom

Oct 22, 2026

Merged

2.0.0-rc.17: Lauren's eb4db2b, a skill that draws a TLA+ model as a statechart a PM can read#41
chhoumann merged 3 commits into
mainfrom
sync/eb4db2b

Commits on Oct 22, 2026
- Sync Lauren's pstack to eb4db2b (#741)
  chhoumann
  committed
  0cf5e24
- Run the skill script tests in CI
  chhoumann
  committed
  370b853
- Release 2.0.0-rc.17: docs, notices, and manifests
  chhoumann
  committed
  ade734f