Skip to content

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

[ci] switch CI runner from Ubuntu 20.04 to 22.04

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

Triggered via pull request February 19, 2025 14:03
@nbdd0121nbdd0121
synchronize #2257
nbdd0121:ci
Status Success
Total duration 1m 2s
Artifacts 1

pr_lint.yml

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

Artifacts

Produced during runtime
Name Size
verible-linter
2.46 KB