Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Introduce VSCode tasks for automation #360

Open
konnov opened this issue Nov 24, 2022 · 1 comment
Open

Introduce VSCode tasks for automation #360

konnov opened this issue Nov 24, 2022 · 1 comment
Labels
effort-hard Takes >= 5 days (probably requires issue refactor) impact-medium Medium impact tla+ transpilation Quint to TLA+ transpiler
Milestone
Release quint Ver...

Comments

@konnov
Copy link
Contributor

konnov commented Nov 24, 2022

As discussed in:
@konnov konnov added tla+ transpilation Quint to TLA+ transpiler alpha labels Nov 24, 2022
@konnov konnov mentioned this issue Nov 24, 2022
Merged
@konnov konnov added this to the TNT Alpha milestone Nov 24, 2022
@konnov konnov added impact-medium Medium impact effort-hard Takes >= 5 days (probably requires issue refactor) labels Nov 29, 2022
@shonfeder shonfeder changed the title Introduce tasks for automation Introduce VSCode tasks for automation Jan 13, 2023
@shonfeder
Copy link
Contributor

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

@shonfeder shonfeder removed the alpha label Jan 9, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
effort-hard Takes >= 5 days (probably requires issue refactor) impact-medium Medium impact tla+ transpilation Quint to TLA+ transpiler
Projects
None yet
Milestone
Release quint Version 1.0.0
Development

No branches or pull requests
2 participants
@konnov @shonfeder