Skip to content

Run SANY before invoking TLAPS proof commands - #527

Merged
lemmy merged 1 commit into
tlaplus:masterfrom
lemmy:sany-before-tlaps
Jun 24, 2026
Merged

Run SANY before invoking TLAPS proof commands#527
lemmy merged 1 commit into
tlaplus:masterfrom
lemmy:sany-before-tlaps

Run SANY before invoking TLAPS proof commands

868bed4
Select commit
Loading
Failed to load commit list.
DCO / DCO succeeded Jun 18, 2026 in 1s

DCO

All commits are signed off!

View more details on DCO