pr-lint

Add GitHub actions version of the CI #6

Triggered via pull request December 11, 2023 11:36

nbdd0121

synchronize #2109

nbdd0121:master

Status Success

Total duration 51s

Artifacts 1

pr_lint.yml

on: pull_request

Produced during runtime

Name	Size
verible-linter Expired	11.5 KB