Skip to content

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

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

Commits

Commits on Nov 12, 2020