758 investigate extracts to identify areas of code which can be cut down for processing times #3905
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
| name: Check Spelling | |
| # Comment management is handled through a secondary job, for details see: | |
| # https://github.com/check-spelling/check-spelling/wiki/Feature%3A-Restricted-Permissions | |
| # | |
| # `jobs.comment-push` runs when a push is made to a repository and the `jobs.spelling` job needs to make a comment | |
| # (in odd cases, it might actually run just to collapse a comment, but that's fairly rare) | |
| # it needs `contents: write` in order to add a comment. | |
| # | |
| # `jobs.comment-pr` runs when a pull_request is made to a repository and the `jobs.spelling` job needs to make a comment | |
| # or collapse a comment (in the case where it had previously made a comment and now no longer needs to show a comment) | |
| # it needs `pull-requests: write` in order to manipulate those comments. | |
| # Updating pull request branches is managed via comment handling. | |
| # For details, see: https://github.com/check-spelling/check-spelling/wiki/Feature:-Update-expect-list | |
| # | |
| # These elements work together to make it happen: | |
| # | |
| # `on.issue_comment` | |
| # This event listens to comments by users asking to update the metadata. | |
| # | |
| # `jobs.update` | |
| # This job runs in response to an issue_comment and will push a new commit | |
| # to update the spelling metadata. | |
| # | |
| # `with.experimental_apply_changes_via_bot` | |
| # Tells the action to support and generate messages that enable it | |
| # to make a commit to update the spelling metadata. | |
| # | |
| # `with.ssh_key` | |
| # In order to trigger workflows when the commit is made, you can provide a | |
| # secret (typically, a write-enabled github deploy key). | |
| # | |
| # For background, see: https://github.com/check-spelling/check-spelling/wiki/Feature:-Update-with-deploy-key | |
| on: | |
| push: | |
| branches: | |
| - "**" | |
| pull_request_target: | |
| branches: | |
| - "**" | |
| types: | |
| - 'opened' | |
| - 'reopened' | |
| - 'synchronize' | |
| - 'ready_for_review' | |
| issue_comment: | |
| types: | |
| - 'created' | |
| jobs: | |
| spelling: | |
| name: Check Spelling | |
| permissions: | |
| contents: read | |
| pull-requests: read | |
| actions: read | |
| security-events: write | |
| outputs: | |
| followup: ${{ steps.spelling.outputs.followup }} | |
| runs-on: ubuntu-latest | |
| if: "contains(github.event_name, 'pull_request') || github.event_name == 'push'" | |
| concurrency: | |
| group: spelling-${{ github.event.pull_request.number || github.ref }} | |
| # note: If you use only_check_changed_files, you do not want cancel-in-progress | |
| cancel-in-progress: true | |
| steps: | |
| - name: check-spelling | |
| id: spelling | |
| uses: check-spelling/check-spelling@main | |
| with: | |
| suppress_push_for_open_pull_request: 1 | |
| checkout: true | |
| check_file_names: 1 | |
| spell_check_this: check-spelling/spell-check-this@prerelease | |
| post_comment: 0 | |
| use_magic_file: 1 | |
| experimental_apply_changes_via_bot: 1 | |
| use_sarif: 0 | |
| only_check_changed_files: 1 | |
| extra_dictionary_limit: 10 | |
| extra_dictionaries: | |
| cspell:r/src/r.txt | |
| cspell:cpp/src/cpp.txt | |
| cspell:software-terms/src/software-terms.txt | |
| check_commit_messages: commits title description | |
| comment-pr: | |
| name: Report (PR) | |
| # If you workflow isn't running on pull_request*, you can remove this job | |
| runs-on: ubuntu-latest | |
| needs: spelling | |
| permissions: | |
| pull-requests: write | |
| if: (success() || failure()) && needs.spelling.outputs.followup && contains(github.event_name, 'pull_request') | |
| steps: | |
| - name: comment | |
| uses: check-spelling/check-spelling@main | |
| with: | |
| checkout: true | |
| spell_check_this: check-spelling/spell-check-this@prerelease | |
| task: ${{ needs.spelling.outputs.followup }} | |
| experimental_apply_changes_via_bot: 1 | |
| update: | |
| name: Update PR | |
| permissions: | |
| contents: write | |
| pull-requests: write | |
| actions: read | |
| runs-on: ubuntu-latest | |
| if: ${{ | |
| github.event_name == 'issue_comment' && | |
| github.event.issue.pull_request && | |
| contains(github.event.comment.body, '@check-spelling-bot apply') | |
| }} | |
| concurrency: | |
| group: spelling-update-${{ github.event.issue.number }} | |
| cancel-in-progress: false | |
| steps: | |
| - name: apply spelling updates | |
| uses: check-spelling/check-spelling@main | |
| with: | |
| experimental_apply_changes_via_bot: 1 | |
| checkout: true | |
| ssh_key: "${{ secrets.CHECK_SPELLING }}" |