Skip to content
pr-lint

[cherry-pick] manual cherry-pick of #22627 to earlgrey_es_sival branch #787

Sign in to view logs

[cherry-pick] manual cherry-pick of #22627 to earlgrey_es_sival branch

[cherry-pick] manual cherry-pick of #22627 to earlgrey_es_sival branch #787

Triggered via pull request April 19, 2024 18:33
@timothytrippeltimothytrippel
synchronize #22715
timothytrippel:cherry-pick
Status Success
Total duration 1m 4s
Artifacts –

pr_lint.yml

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