Skip to content

Merge pull request #50 from kieler/jep/utility #206

Merge pull request #50 from kieler/jep/utility

Merge pull request #50 from kieler/jep/utility #206

Triggered via push January 6, 2025 15:57
Status Success
Total duration 48s
Artifacts

ci.yml

on: push
Run eslint and test and build
38s
Run eslint and test and build
Fit to window
Zoom out
Zoom in

Annotations

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