Skip to content

fix(pstack): avoid reserved TLA action names - #844

Open
rudycelekli wants to merge 1 commit into
cursor:mainfrom
rudycelekli:fix/statechart-tla-reserved-20261024
Open

rudycelekli wants to merge 1 commit into
cursor:mainfrom
rudycelekli:fix/statechart-tla-reserved-20261024

fix(pstack): avoid reserved TLA action names

6760078
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
validate
succeeded Oct 24, 2026 in 20s