Allow command forms for Java options #351
pfeodrippeAnnotations
4 errors and 4 warnings
|
build (ubuntu-20.04):
src/tla2tools.ts#L1
No overload matches this call.
|
|
build (ubuntu-20.04)
Process completed with exit code 1.
|
|
build (windows-latest)
The operation was canceled.
|
|
build (macOS-latest)
The operation was canceled.
|
|
build (ubuntu-20.04)
Node.js 12 actions are deprecated. Please update the following actions to use Node.js 16: actions/setup-node@v1. For more information see: https://github.blog/changelog/2022-09-22-github-actions-all-actions-will-begin-running-on-node16-instead-of-node12/.
|
|
build (ubuntu-20.04):
src/tla2tools.ts#L10
'stdout' is defined but never used
|
|
build (windows-latest)
Node.js 12 actions are deprecated. Please update the following actions to use Node.js 16: actions/setup-node@v1. For more information see: https://github.blog/changelog/2022-09-22-github-actions-all-actions-will-begin-running-on-node16-instead-of-node12/.
|
|
build (macOS-latest)
Node.js 12 actions are deprecated. Please update the following actions to use Node.js 16: actions/setup-node@v1. For more information see: https://github.blog/changelog/2022-09-22-github-actions-all-actions-will-begin-running-on-node16-instead-of-node12/.
|