GitHub / arduino/vscode-arduino-tools issues and pull requests
Labelled with: topic: infrastructure
#42 - Clone the GitHub Security settings of the `arduino/arduino-ide` project
Issue -
State: closed - Opened by kittaakos about 2 years ago
- 2 comments
Labels: type: enhancement, topic: security, conclusion: resolved, topic: infrastructure
#39 - chore: bumped version for the next release
Pull Request -
State: closed - Opened by kittaakos almost 3 years ago
Labels: type: enhancement, topic: infrastructure
#35 - [dev] The main branch is not protected
Issue -
State: closed - Opened by kittaakos over 3 years ago
- 2 comments
Labels: type: enhancement, conclusion: resolved, topic: infrastructure
#32 - Change terminateProcess.sh permissions to 755
Pull Request -
State: closed - Opened by AlbyIanna almost 4 years ago
Labels: topic: infrastructure, type: imperfection
#31 - Don't force "format on save" setting on contributors
Pull Request -
State: closed - Opened by per1234 almost 4 years ago
Labels: topic: infrastructure, type: imperfection
#29 - Use major version ref of `carlosperate/download-file-action`
Pull Request -
State: closed - Opened by per1234 almost 4 years ago
Labels: type: enhancement, topic: infrastructure
#26 - Add GitHub Actions workflow to synchronize with shared repository labels
Pull Request -
State: closed - Opened by per1234 about 4 years ago
Labels: type: enhancement, topic: infrastructure
#20 - consider moving from yarn to npm
Issue -
State: open - Opened by kittaakos almost 5 years ago
- 4 comments
Labels: type: enhancement, topic: infrastructure
#19 - produce GH releases.
Issue -
State: open - Opened by kittaakos almost 5 years ago
Labels: type: enhancement, topic: infrastructure
#16 - Publish the VSX to VS Code Marketplace and Open VSX
Issue -
State: closed - Opened by kittaakos almost 5 years ago
- 1 comment
Labels: type: enhancement, topic: infrastructure
#15 - Updated the extension name.
Pull Request -
State: closed - Opened by kittaakos almost 5 years ago
Labels: type: enhancement, topic: infrastructure
#14 - rename repo to vscode-arduino-tools
Issue -
State: closed - Opened by kittaakos almost 5 years ago
Labels: type: enhancement, topic: infrastructure
#1 - [quality]: Enable linter
Issue -
State: closed - Opened by kittaakos about 5 years ago
Labels: type: enhancement, conclusion: resolved, topic: infrastructure