Skip to content
Back to pull request #1237

fix: handle quotes in --tla-str and --ext-str in "tk eval" #739

Sign in to view logs

fix: handle quotes in --tla-str and --ext-str in "tk eval"

fix: handle quotes in --tla-str and --ext-str in "tk eval" #739

test

test
succeeded Nov 22, 2024 in 2m 5s