Skip to content

chore: switch to version 2.3.7 after the release (#2701) #202

chore: switch to version 2.3.7 after the release (#2701)

chore: switch to version 2.3.7 after the release (#2701) #202

Triggered via push April 9, 2025 12:48
Status Success
Total duration 7m 23s
Artifacts
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