tree 7e8b7794eabf47cdc16499d12c78d7be859224d5
parent b29822d679fd46c2652a534f25934d3b7d075201
author Greg Chadwick <gac@lowrisc.org> 1644942780 +0000
committer Greg Chadwick <mail@gregchadwick.co.uk> 1644954678 +0000

[ci] Move Verilator build to ci-public pool

Previously this used azure agents, which are slow. Using ci-public
should improve the speed of the verilator build.

Signed-off-by: Greg Chadwick <gac@lowrisc.org>