pr-lint

Add GitHub actions version of the CI #2

Triggered via pull request December 7, 2023 19:02

nbdd0121

synchronize #2109

nbdd0121:master

Status Success

Total duration 58s

Artifacts 1

pr_lint.yml

on: pull_request

Produced during runtime

Name	Size
verible-linter Expired	11.5 KB