tree 1497ef5588e56e27be8829acaaac821bdfc49266
parent 50a256c139f61e9e323e4cd0f36f89711fc14b07
author Philipp Wagner <phw@lowrisc.org> 1572440298 +0000
committer Philipp Wagner <mail@philipp-wagner.com> 1572447636 +0000

[ci] Switch lint to use cloud pool

Lint doesn't need access to tools available only on the local runner, we
can use Azure cloud resources for that to reduce the load on our
runners.