quint icon indicating copy to clipboard operation
quint copied to clipboard

Published 20 hours ago • verified publisher icon informalsystems

Introduce VSCode tasks for automation

Open konnov opened this issue 2 years ago • 1 comments

As discussed in:

  • https://github.com/informalsystems/tnt/discussions/254#discussioncomment-3766640
  • https://github.com/informalsystems/tnt/pull/342#discussion_r1020407494

konnov avatar Nov 24 '22 11:11 konnov

@konnov the title here was a bit vague, so i noted it's about the vscode plugin. please correct if needed.

shonfeder avatar Jan 13 '23 18:01 shonfeder