pr-lint

[dv] Fix paths in `merge_cov.py` #49

Triggered via pull request January 11, 2024 14:47

synchronize #2120

superpung:patch-1

Status Success

Total duration 1m 3s

Artifacts 1

pr_lint.yml

on: pull_request

Produced during runtime

Name	Size
verible-linter Expired	11.5 KB