An open API service for providing issue and pull request metadata for open source projects.

GitHub / arduino/arduino-cli issues and pull requests

Labelled with: os: linux

#2926 - Build and distribuite deb packages

Pull Request - State: closed - Opened by alessio-perugini 6 months ago
Labels: type: enhancement, os: linux, topic: infrastructure, topic: packaging

#2700 - Add riscv64 linux tools download support

Pull Request - State: closed - Opened by bitsk about 1 year ago - 1 comment
Labels: type: enhancement, os: linux, conclusion: resolved, topic: code

#2700 - Add riscv64 linux tools download support

Pull Request - State: closed - Opened by bitsk about 1 year ago - 1 comment
Labels: type: enhancement, os: linux, topic: code

#2353 - Error during install: Error downloading tool esp32:openocd-esp32@v0.11.0-esp32-20221026: no versions available for the current OS

Issue - State: open - Opened by lonebots about 2 years ago - 7 comments
Labels: os: linux, type: imperfection, topic: packaging

#2328 - Unable to compile on Raspberry Pi

Issue - State: open - Opened by ChillarAnand about 2 years ago
Labels: os: linux, architecture: armv7, type: imperfection

#1815 - BSD version

Issue - State: closed - Opened by LudwikZimmenhof over 3 years ago - 1 comment
Labels: type: enhancement, os: linux, topic: infrastructure, topic: packaging

#1208 - Compile fails on ARMv6 RPi

Issue - State: open - Opened by ThorpeJosh almost 5 years ago - 15 comments
Labels: os: linux, architecture: arm, topic: code, type: imperfection