Skip to content
pr-lint

[ci] switch CI runner from Ubuntu 20.04 to 22.04 #25

Sign in to view logs

[ci] switch CI runner from Ubuntu 20.04 to 22.04

[ci] switch CI runner from Ubuntu 20.04 to 22.04 #25

Triggered via pull request December 22, 2023 16:24
@nbdd0121nbdd0121
synchronize #2113
nbdd0121:master
Status Success
Total duration 46s
Artifacts 1

pr_lint.yml

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

Artifacts

Produced during runtime
Name Size
verible-linter Expired
11.5 KB