Skip to content
pr-lint

[ownership] Manual cherry-picks for #24744, #24760, #24785, #24787 #4989

Sign in to view logs

[ownership] Manual cherry-picks for #24744, #24760, #24785, #24787

[ownership] Manual cherry-picks for #24744, #24760, #24785, #24787 #4989

Triggered via pull request November 5, 2024 22:35
@moidxmoidx
opened #25021
moidx:a1-cp-v5
Status Success
Total duration 1m 11s
Artifacts –

pr_lint.yml

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