Skip to content
pr-lint

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

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 #4585

Triggered via pull request September 18, 2024 14:34
@jwnrtjwnrt
synchronize #24590
jwnrt:gha-quick-lint
Status Success
Total duration 1m 0s
Artifacts –

pr_lint.yml

on: pull_request
verible-lint
52s
verible-lint
Fit to window
Zoom out
Zoom in