Run SANY before invoking TLAPS proof commands#527

lemmy merged 1 commit into

tlaplus:mastertlaplus/vscode-tlaplus:masterfrom

lemmy:sany-before-tlapslemmy/vscode-tlaplus:sany-before-tlapsCopy head branch name to clipboard