Daniel Dides issues

Repositories
Issues
Comments

Results 2 issues of


                                            Daniel Dides

arduino-language-server does not error on failed compilation from arduino-cli

## Bug Report ### Current behavior When starting the language server (I'm using `neovim`'s LSP client), the invocation to the `arduino-cli` tool for a compilation step before calling `clangd` can...

topic: code

type: imperfection

batch_exec: inject docker container registry as a prefix

Part of https://github.com/sourcegraph/customer/issues/1872 Depends on: https://github.com/sourcegraph/sourcegraph/pull/48499 This checks for the presence of an optional environment variable passed to the `src batch exec` directive that contains a docker registry URL. If...