Skip to content

[CI] Use --additional-urls for board details#1154

Merged
fpistm merged 1 commit intostm32duino:masterfrom
fpistm:cli
Nov 12, 2020
Merged

[CI] Use --additional-urls for board details#1154
fpistm merged 1 commit intostm32duino:masterfrom
fpistm:cli

Commits

Commits on Nov 12, 2020