Skip to content
pr-lint

[opentitantool] Eliminate use of min_specialization #5415

Sign in to view logs

[opentitantool] Eliminate use of min_specialization

[opentitantool] Eliminate use of min_specialization #5415

Triggered via pull request January 28, 2025 15:06
@cfrantzcfrantz
synchronize #25993
cfrantz:serde-annotate
Status Success
Total duration 1m 18s
Artifacts –

pr_lint.yml

on: pull_request
verible-lint
1m 8s
verible-lint
Fit to window
Zoom out
Zoom in