Search results

[skip changelog] Tag CI failures with workflow name

topic: infrastructureRelated to project infrastructureRelated to project infrastructure

type: enhancementProposed improvementProposed improvement

Status: Merged (completed).

arduino/arduino-clinumber 747

#747 In arduino/arduino-cli;

· by masci was closed on Jun 10, 2020

[skip changelog] document the docs generation workflow

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

Status: Merged (completed).

arduino/arduino-clinumber 738

#738 In arduino/arduino-cli;

· by masci was closed on Jun 10, 2020

[skip changelog] Update latest tag at mike deploy

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

Status: Merged (completed).

arduino/arduino-clinumber 734

#734 In arduino/arduino-cli;

· by masci was closed on Jun 1, 2020

Pin mike at version 0.5.1

Status: Merged (completed).

arduino/arduino-clinumber 729

#729 In arduino/arduino-cli;

· by masci was closed on May 29, 2020

[skip changelog] use absolute URL in docs version selector

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

Status: Merged (completed).

arduino/arduino-clinumber 718

#718 In arduino/arduino-cli;

· by masci was closed on May 22, 2020

[skip changelog] Configure git push from CI

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

Status: Merged (completed).

arduino/arduino-clinumber 717

#717 In arduino/arduino-cli;

· by masci was closed on May 22, 2020

[skip-changelog] Fix subprocess invocation

Status: Merged (completed).

arduino/arduino-clinumber 716

#716 In arduino/arduino-cli;

· by masci was closed on May 21, 2020

Remove unused import

Status: Merged (completed).

arduino/arduino-clinumber 715

#715 In arduino/arduino-cli;

· by masci was closed on May 21, 2020

Add versioning to docs

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

Status: Merged (completed).

arduino/arduino-clinumber 711

#711 In arduino/arduino-cli;

· by masci was closed on May 21, 2020

pin requirements

Status: Closed (abandoned).

arduino/arduino-clinumber 679

#679 In arduino/arduino-cli;

· by masci was closed on May 6, 2020

[skip changelog] Collect download stats less often

Status: Merged (completed).

arduino/arduino-clinumber 668

#668 In arduino/arduino-cli;

· by masci was closed on Apr 23, 2020

[skip changelog] Add alert when nightly build fails

Status: Merged (completed).

arduino/arduino-clinumber 667

#667 In arduino/arduino-cli;

· by masci was closed on Apr 22, 2020