Parse pluscal labels inserted due to macro #529
Annotations
3 warnings
|
Upload artifact
No files were found with the provided path: /home/runner/work/vscode-tlaplus/vscode-tlaplus/vscode-tlaplus-*.vsix. No artifacts will be uploaded.
|
|
Check:
src/parsers/pluscal.ts#L115
Trailing spaces not allowed
|
|
Check:
src/tla2tools.ts#L108
This line has a length of 147. Maximum allowed is 120
|
Loading