Skip to content
Check JavaScript

chore: use [email protected] #111

Sign in to view logs

chore: use [email protected]

chore: use [email protected] #111

Triggered via push March 19, 2025 12:02
@giacomocusinatogiacomocusinato
pushed cb91633
use-theia-latest
Status Success
Total duration 2m 17s
Artifacts –

check-javascript.yml

on: push
run-determination
0s
run-determination
check
2m 2s
check
Fit to window
Zoom out
Zoom in

Annotations

10 warnings
check: arduino-ide-extension/src/browser/boards/boards-list-widget.ts#L86
Forbidden non-null assertion
check: arduino-ide-extension/src/browser/contributions/boards-data-menu-updater.ts#L115
Forbidden non-null assertion
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