[entropy_src,doc] Fix some double spaces in markdown docs #29418
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # Copyright lowRISC contributors. | |
| # 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-review | |
| # Triggers when there is any activity on a pull request, e.g. opened, updated. | |
| # | |
| # The action runs in the context of the _base_ of the pull request, but later we | |
| # checkout the repository at the pull request's HEAD to run linting. | |
| on: | |
| pull_request_target: | |
| jobs: | |
| verible-lint: | |
| runs-on: ubuntu-latest | |
| # Grant only write permissions for setting checks and adding review comments | |
| # to pull requests. | |
| permissions: | |
| checks: write | |
| contents: read | |
| pull-requests: write | |
| env: | |
| verible_config: hw/lint/tools/veriblelint/lowrisc-styleguide.rules.verible_lint | |
| steps: | |
| - uses: actions/checkout@v3 | |
| with: | |
| # Because `pull_request_target` runs at the PR's base, we need to | |
| # checkout the head of the PR before running the lint. | |
| ref: ${{ github.event.pull_request.head.sha }} | |
| - 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/verible-linter-action@main | |
| with: | |
| verible_version: "v0.0-3430-g060bde0f" | |
| github_token: ${{ secrets.GITHUB_TOKEN }} | |
| reviewdog_reporter: 'github-pr-check' | |
| suggest_fixes: 'false' | |
| config_file: ${{ env.verible_config }} | |
| extra_args: "--waiver_files=verible_waiver" |