lint & build changed ports

micropython: fix build on < 10.12, fix compiler choice #1375

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
macos-12	4m 12s
macos-14	3m 21s
macos-13	5m 37s
	13m 10s