Jep/utility by Drakae · Pull Request #108 · kieler/pasta

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/setup-node@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

Run yarn lint: extension/src/stpa-formatter.ts#L35

'token' is defined but never used. Allowed unused args must match /^_/u

Run yarn lint: extension/src/extension.ts#L102

'decorationProvider' is never reassigned. Use 'const' instead

Run yarn lint: extension/src-webview/stpa/stpa-mouselistener.ts#L135

'event' is defined but never used. Allowed unused args must match /^_/u

Run yarn lint: extension/src-webview/snippets/snippet-module.ts#L25

'isBound' is defined but never used. Allowed unused args must match /^_/u