Skip to content

[verible-lint] Pin version of verible instead of following latest#20697

Merged
a-will merged 1 commit intolowRISC:masterfrom a-will:pin-verible-lintDec 21, 2023

Commits

Commits on Dec 21, 2023