Project version
latest
Project
vscode
What happened?
The VSCode extension still passes witness files positionally in vscode/src/compile.ts and vscode/src/tasks.ts.
Related to #295
Minimal reproduction steps
Try to launch compilation in vscode and use witness
Project version
latest
Project
vscode
What happened?
The VSCode extension still passes witness files positionally in vscode/src/compile.ts and vscode/src/tasks.ts.
Related to #295
Minimal reproduction steps
Try to launch compilation in vscode and use witness