Rename error trace to the more user friendly Counterexample #531
FedericoPonziAnnotations
4 warnings
|
build (ubuntu-20.04)
No files were found with the provided path: /home/runner/work/vscode-tlaplus/vscode-tlaplus/vscode-tlaplus-*.vsix. No artifacts will be uploaded.
|
|
build (ubuntu-20.04):
src/tla2tools.ts#L108
This line has a length of 147. Maximum allowed is 120
|
|
build (macOS-latest):
src/tla2tools.ts#L108
This line has a length of 147. Maximum allowed is 120
|
|
build (windows-latest):
src/tla2tools.ts#L108
This line has a length of 147. Maximum allowed is 120
|