Skip to content

Fix TLC runner compatibility and release metadata - #17

Merged
younes-io merged 1 commit into
mainfrom
fix/tlc-runner
Jul 11, 2026
Merged

Fix TLC runner compatibility and release metadata#17
younes-io merged 1 commit into
mainfrom
fix/tlc-runner

fix(tla-check): support TLC 1.7.4

5250a48
Select commit
Loading
Failed to load commit list.
DCO / DCO succeeded Jul 11, 2026 in 0s

DCO

Commit sign-off was manually approved.