ci(spec): repin the TLA+ tools jar after upstream rebuilt v1.8.0 - #24

ci(spec): repin the TLA+ tools jar after upstream rebuilt v1.8.0#24

yordis merged 1 commit into

mainTrogonStack/walgit:mainfrom

yordis/ci-update-tla-tools-pinTrogonStack/walgit:yordis/ci-update-tla-tools-pinCopy head branch name to clipboard