[cov,ci] Collect test coverage on CI #7697

	# # Copyright lowRISC contributors (OpenTitan project).
	# # Licensed under the Apache License, Version 2.0, see LICENSE for details.
	# # SPDX-License-Identifier: Apache-2.0

	# # GitHub Action to run Verible linting on pull requests and add review comments.
	# #
	# # See https://github.com/chipsalliance/verible-linter-action.

	# name: pr-lint

	# on:
	# pull_request:

	# jobs:
	# verible-lint:
	# runs-on: ubuntu-latest
	# env:
	# verible_config: hw/lint/tools/veriblelint/lowrisc-styleguide.rules.verible_lint
	# steps:
	# - uses: actions/checkout@v4
	# - name: Prepare Verible config
	# run: \|
	# echo "Concatenating Verible waivers"
	# find . -type f -name '*.vbl' -exec cat {} \; >> verible_waiver

	# echo "::group::Verible config"
	# cat "$verible_config"
	# echo "::endgroup::"

	# echo "::group::Verible waiver"
	# cat "verible_waiver"
	# echo "::endgroup::"
	# - name: Run Verible linter action
	# uses: chipsalliance/[email protected]
	# with:
	# github_token: ${{ secrets.GITHUB_TOKEN }}
	# verible_version: "v0.0-3430-g060bde0f"
	# reviewdog_reporter: 'github-pr-check'
	# suggest_fixes: 'false'
	# config_file: ${{ env.verible_config }}
	# extra_args: "--waiver_files=verible_waiver"

Provide feedback