Skip to content

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

[ci] switch CI runner from Ubuntu 20.04 to 22.04

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

Triggered via pull request December 15, 2023 13:46
Status Success
Total duration 52s
Artifacts 1

pr_lint.yml

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

Artifacts

Produced during runtime
Name Size
verible-linter Expired
11.5 KB