Search results

Update BUILDING.md

topic: documentationRelated to documentation for the project Related to documentation for the project

topic: infrastructureRelated to project infrastructure Related to project infrastructure

topic: theiaRelated to the Theia IDE framework Related to the Theia IDE framework

type: imperfectionPerceived defect in any part of project Perceived defect in any part of project

Status: Merged (completed).

arduino/arduino-idenumber 1281

#1281 In arduino/arduino-ide;

· by InstantMuffin was closed on Aug 3, 2022

add notes for Windows contributor in BUILDING.md

topic: documentationRelated to documentation for the project Related to documentation for the project

type: enhancementProposed improvement Proposed improvement

Status: Merged (completed).

arduino/arduino-idenumber 926

#926 In arduino/arduino-ide;

· by francescospissu was closed on Mar 29, 2022

Update BUILDING.md

topic: documentationRelated to documentation for the project Related to documentation for the project

type: imperfectionPerceived defect in any part of project Perceived defect in any part of project

Status: Merged (completed).

arduino/arduino-idenumber 470

#470 In arduino/arduino-ide;

· by Jmarinis was closed on Aug 6, 2021

404 error solved

topic: documentationRelated to documentation for the project Related to documentation for the project

type: imperfectionPerceived defect in any part of project Perceived defect in any part of project

Status: Merged (completed).

arduino/arduino-idenumber 467

#467 In arduino/arduino-ide;

· by yash-markad was closed on Aug 31, 2021

chore: update CLI version, gRPC and bit of documentation

topic: CLIRelated to Arduino CLI Related to Arduino CLI

topic: codeRelated to content of the project itself Related to content of the project itself

topic: documentationRelated to documentation for the project Related to documentation for the project

topic: infrastructureRelated to project infrastructure Related to project infrastructure

Status: Merged (completed).

arduino/arduino-idenumber 285

#285 In arduino/arduino-ide;

· by fstasi was closed on Mar 29, 2021

Update README before making the repository public

topic: documentationRelated to documentation for the project Related to documentation for the project

Status: Merged (completed).

arduino/arduino-idenumber 49

#49 In arduino/arduino-ide;

· by alranel was closed on Mar 1, 2021

Aligned workflow/docs with the default branch name

topic: documentationRelated to documentation for the project Related to documentation for the project

topic: infrastructureRelated to project infrastructure Related to project infrastructure

Status: Merged (completed).

arduino/arduino-idenumber 8

#8 In arduino/arduino-ide;

· by kittaakos was closed on Feb 11, 2021