Skip to content
pr-lint

[ci] Add quick_lint job to GitHub Actions CI workflow #4578

Sign in to view logs

[ci] Add quick_lint job to GitHub Actions CI workflow

[ci] Add quick_lint job to GitHub Actions CI workflow #4578

verible-lint

verible-lint
succeeded Sep 18, 2024 in 53s