Skip to content

backlog(B-0714): file Soraya round-51 hand-off — 3 TLA+ specs missing .cfg files (runnability gap)#4789

Merged
AceHack merged 1 commit into
mainfrom
otto/soraya-round51-b0714-tla-cfg-runnability-2026-05-23
May 23, 2026
Merged

backlog(B-0714): file Soraya round-51 hand-off — 3 TLA+ specs missing .cfg files (runnability gap)#4789
AceHack merged 1 commit into
mainfrom
otto/soraya-round51-b0714-tla-cfg-runnability-2026-05-23

backlog(B-0714): file Soraya round-51 hand-off — 3 TLA+ specs missing…

40241a7
Select commit
Loading
Failed to load commit list.
GitHub Advanced Security / CodeQL succeeded May 23, 2026 in 2s

No new alerts in code changed by this pull request

View all branch alerts.