8000 fix: wait for theia `initalWindow` to be set before opening sketch through `open-file` event · arduino/arduino-ide@23582d8 · GitHub
[go: up one dir, main page]

Skip to content

fix: wait for theia initalWindow to be set before opening sketch through open-file event #191

fix: wait for theia initalWindow to be set before opening sketch through open-file event

fix: wait for theia initalWindow to be set before opening sketch through open-file event #191

Triggered via pull request April 7, 2025 08:23
Status Success
Total duration 2m 43s
Artifacts

check-javascript.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

10 warnings
check: arduino-ide-extension/src/browser/contributions/edit-contributions.ts#L229
Unexpected any. Specify a different type
check: arduino-ide-extension/src/browser/contributions/examples.ts#L329
Unexpected any. Specify a different type
check: arduino-ide-extension/src/browser/contributions/examples.ts#L337
Unexpected any. Specify a different type
check: arduino-ide-extension/src/browser/contributions/examples.ts#L342
Unexpected any. Specify a different type
check: arduino-ide-extension/src/browser/contributions/include-library.ts#L114
Unexpected any. Specify a different type
check: arduino-ide-extension/src/browser/contributions/include-library.ts#L119
Unexpected any. Specify a different type
check: arduino-ide-extension/src/browser/contributions/upload-certificate.ts#L86
Unexpected any. Specify a different type
check: arduino-ide-extension/src/browser/create/create-fs-provider.ts#L79
'uri' is defined but never used. Allowed unused args must match /^_/u
0