pr-lint

Add GitHub actions version of the CI #5

Triggered via pull request December 7, 2023 19:23

nbdd0121

synchronize #2109

nbdd0121:master

Status Success

Total duration 1m 2s

Artifacts 1

pr_lint.yml

on: pull_request

Produced during runtime

Name	Size
verible-linter Expired	11.5 KB