198 lines
7.2 KiB
YAML
198 lines
7.2 KiB
YAML
# spelling.yml is blocked per https://github.com/check-spelling/check-spelling/security/advisories/GHSA-g86g-chm8-7r2p
|
|
name: Spell checking
|
|
|
|
# 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
|
|
|
|
# Sarif reporting
|
|
#
|
|
# Access to Sarif reports is generally restricted (by GitHub) to members of the repository.
|
|
#
|
|
# Requires enabling `security-events: write`
|
|
# and configuring the action with `use_sarif: 1`
|
|
#
|
|
# For information on the feature, see: https://github.com/check-spelling/check-spelling/wiki/Feature:-Sarif-output
|
|
|
|
# Minimal workflow structure:
|
|
#
|
|
# on:
|
|
# push:
|
|
# ...
|
|
# pull_request_target:
|
|
# ...
|
|
# jobs:
|
|
# # you only want the spelling job, all others should be omitted
|
|
# spelling:
|
|
# # remove `security-events: write` and `use_sarif: 1`
|
|
# # remove `experimental_apply_changes_via_bot: 1`
|
|
# ... otherwise adjust the `with:` as you wish
|
|
|
|
on:
|
|
push:
|
|
branches:
|
|
- "**"
|
|
tags-ignore:
|
|
- "**"
|
|
pull_request_target:
|
|
branches:
|
|
- "**"
|
|
types:
|
|
- 'opened'
|
|
- 'reopened'
|
|
- 'synchronize'
|
|
issue_comment:
|
|
types:
|
|
- 'created'
|
|
|
|
jobs:
|
|
spelling:
|
|
name: Spell checking
|
|
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@v0.0.22
|
|
with:
|
|
suppress_push_for_open_pull_request: ${{ github.actor != 'dependabot[bot]' && 1 }}
|
|
checkout: true
|
|
check_file_names: 1
|
|
spell_check_this: microsoft/terminal@main
|
|
post_comment: 0
|
|
use_magic_file: 1
|
|
report-timing: 1
|
|
warnings: bad-regex,binary-file,deprecated-feature,ignored-expect-variant,large-file,limited-references,no-newline-at-eof,noisy-file,non-alpha-in-dictionary,token-is-substring,unexpected-line-ending,whitespace-in-dictionary,minified-file,unsupported-configuration,no-files-to-check
|
|
experimental_apply_changes_via_bot: ${{ github.repository_owner != 'microsoft' && 1 }}
|
|
use_sarif: ${{ (!github.event.pull_request || (github.event.pull_request.head.repo.full_name == github.repository)) && 1 }}
|
|
extra_dictionary_limit: 20
|
|
extra_dictionaries:
|
|
cspell:software-terms/dict/softwareTerms.txt
|
|
cspell:cpp/src/stdlib-cpp.txt
|
|
cspell:lorem-ipsum/dictionary.txt
|
|
cspell:cpp/src/stdlib-c.txt
|
|
cspell:php/dict/php.txt
|
|
cspell:filetypes/filetypes.txt
|
|
cspell:java/src/java.txt
|
|
cspell:python/src/common/extra.txt
|
|
cspell:node/dict/node.txt
|
|
cspell:java/src/java-terms.txt
|
|
cspell:aws/aws.txt
|
|
cspell:typescript/dict/typescript.txt
|
|
cspell:dotnet/dict/dotnet.txt
|
|
cspell:golang/dict/go.txt
|
|
cspell:fullstack/dict/fullstack.txt
|
|
cspell:cpp/src/compiler-msvc.txt
|
|
cspell:python/src/python/python-lib.txt
|
|
cspell:mnemonics/src/mnemonics.txt
|
|
cspell:cpp/src/stdlib-cmath.txt
|
|
cspell:css/dict/css.txt
|
|
cspell:cpp/src/lang-keywords.txt
|
|
cspell:django/dict/django.txt
|
|
cspell:python/src/python/python.txt
|
|
cspell:html/dict/html.txt
|
|
cspell:cpp/src/ecosystem.txt
|
|
cspell:cpp/src/compiler-clang-attributes.txt
|
|
cspell:npm/dict/npm.txt
|
|
cspell:r/src/r.txt
|
|
cspell:powershell/dict/powershell.txt
|
|
cspell:csharp/csharp.txt
|
|
|
|
comment-push:
|
|
name: Report (Push)
|
|
# If your workflow isn't running on push, you can remove this job
|
|
runs-on: ubuntu-latest
|
|
needs: spelling
|
|
permissions:
|
|
contents: write
|
|
if: (success() || failure()) && needs.spelling.outputs.followup && github.event_name == 'push'
|
|
steps:
|
|
- name: comment
|
|
uses: check-spelling/check-spelling@v0.0.22
|
|
with:
|
|
checkout: true
|
|
spell_check_this: microsoft/terminal@main
|
|
task: ${{ needs.spelling.outputs.followup }}
|
|
|
|
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:
|
|
contents: read
|
|
pull-requests: write
|
|
if: (success() || failure()) && needs.spelling.outputs.followup && contains(github.event_name, 'pull_request')
|
|
steps:
|
|
- name: comment
|
|
uses: check-spelling/check-spelling@v0.0.22
|
|
with:
|
|
checkout: true
|
|
spell_check_this: microsoft/terminal@main
|
|
task: ${{ needs.spelling.outputs.followup }}
|
|
experimental_apply_changes_via_bot: ${{ github.repository_owner != 'microsoft' && 1 }}
|
|
|
|
update:
|
|
name: Update PR
|
|
permissions:
|
|
contents: write
|
|
pull-requests: write
|
|
actions: read
|
|
runs-on: ubuntu-latest
|
|
if: ${{
|
|
github.repository_owner != 'microsoft' &&
|
|
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@v0.0.22
|
|
with:
|
|
experimental_apply_changes_via_bot: ${{ github.repository_owner != 'microsoft' && 1 }}
|
|
checkout: true
|
|
ssh_key: "${{ secrets.CHECK_SPELLING }}"
|