Skip to content

CI: invoke Apalache via apalache-mc.bat (and cmd.exe) on Windows#210

Closed
lemmy wants to merge 1 commit intomasterfrom
mku-CIApalache
Closed

CI: invoke Apalache via apalache-mc.bat (and cmd.exe) on Windows#210
lemmy wants to merge 1 commit intomasterfrom
mku-CIApalache

Commits

Commits on Apr 22, 2026