tree 25d99c5b97cd416e601efa6f788562c0ac855792
parent 0409c2c695715990b00ae1606c7ee42148149245
author Michael Schaffner <msf@opentitan.org> 1594774235 -0700
committer Michael Schaffner <msf@google.com> 1594839378 -0700

[ci] Add Verible style lint to PR CI checks

This triggers a style lint run using Verible for all IPs that define a
lint target in the top_earlgrey_lint_cfg.hjson file.

Signed-off-by: Michael Schaffner <msf@opentitan.org>