added background for edge labels to make them more readable #209
Annotations
7 warnings
|
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Run yarn lint:
extension/src-language-server/diagram-server.ts#L57
'expansionState' is never reassigned. Use 'const' instead
|
|
Run yarn lint:
extension/src-webview/snippets/snippet-module.ts#L25
'isBound' is defined but never used. Allowed unused args must match /^_/u
|
|
Run yarn lint:
extension/src-webview/stpa/stpa-mouselistener.ts#L27
'event' is defined but never used. Allowed unused args must match /^_/u
|
|
Run yarn lint:
extension/src/stpa-formatter.ts#L35
'token' is defined but never used. Allowed unused args must match /^_/u
|
|
Run yarn lint:
test/ltlCreation.ts#L2
'rewire' is defined but never used
|
|
Run yarn lint:
test/ltlCreation.ts#L4
'should' is assigned a value but never used
|
Loading