CI: use the new binary name of Verible

They switched to new binary names, use these names (the old ones are
still around for backwards-compat, but deprecated).
This commit is contained in:
Philipp Wagner 2020-07-03 12:06:44 +01:00 committed by Philipp Wagner
parent 4ee8b24409
commit df634b9459

View file

@ -97,7 +97,7 @@ jobs:
fusesoc --version
verilator --version
riscv32-unknown-elf-gcc --version
verilog_lint --version
verible-verilog-lint --version
displayName: Display environment
# Verible lint/format is experimental so only run on default config for now,