reduce CI bill and improve build speed#2037

Merged

garypen merged 8 commits intodevfrom

garypen/tweak-ci

Nov 1, 2022

Commits on Nov 1, 2022

give more resources to arm and require lint to succeed
Gary Pennington
committed
fix syntax error (indent)
Gary Pennington
committed
add dependency on lint to test_updated
Gary Pennington
committed
try to speed up the arm testing
Gary Pennington
committed
try and overdrive amd
Gary Pennington
committed
wind back the wick a bit on amd
Gary Pennington
committed
keep trying to increase amd test resources
Gary Pennington
committed
Merge branch 'dev' into garypen/tweak-ci
Gary Pennington
authored