Skip to content
pr-lint

[ci] remove Azure Pipelines #237

Sign in to view logs

[ci] remove Azure Pipelines

[ci] remove Azure Pipelines #237

Triggered via pull request November 22, 2024 16:10
@nbdd0121nbdd0121
opened #2225
nbdd0121:ci
Status Success
Total duration 57s
Artifacts 1

pr_lint.yml

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

Artifacts

Produced during runtime
Name Size
verible-linter
2.48 KB