chores

Merge pull request #1930 from nicolasnoble/pio-dev-lite #1485

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
code-format	4m 16s
regen-i18n	2m 35s
export-support	33m 12s
export-mips	57m 13s
	1h 37m 16s