Skip to content

feat: use Arduino CLI 1.3.1 #234

feat: use Arduino CLI 1.3.1

feat: use Arduino CLI 1.3.1 #234

Triggered via push November 5, 2025 10:31
Status Success
Total duration 2m 33s
Artifacts
Fit to window
Zoom out
Zoom in

Annotations

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