mirror of
https://github.com/microsoft/PowerToys.git
synced 2024-12-18 05:28:07 +08:00
2a7afa38d0
GitHub apparently changed the behavior of raw.githubusercontent.com. Previously, https://raw.githubusercontent.com/:org/:repo/HEAD/:path worked. It no longer works. Instead, we will use the master branch. Co-authored-by: Josh Soref <jsoref@users.noreply.github.com>
79 lines
2.5 KiB
YAML
79 lines
2.5 KiB
YAML
# spelling.yml is blocked per https://github.com/check-spelling/check-spelling/security/advisories/GHSA-g86g-chm8-7r2p
|
|
name: Spell checking
|
|
on:
|
|
pull_request_target:
|
|
push:
|
|
branches: ["**"]
|
|
tags-ignore: ["**"]
|
|
|
|
jobs:
|
|
spelling:
|
|
name: Spell checking
|
|
permissions:
|
|
contents: read
|
|
pull-requests: read
|
|
outputs:
|
|
internal_state_directory: ${{ steps.spelling.outputs.internal_state_directory }}
|
|
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: checkout-merge
|
|
if: "contains(github.event_name, 'pull_request')"
|
|
uses: actions/checkout@v2
|
|
with:
|
|
ref: refs/pull/${{github.event.pull_request.number}}/merge
|
|
- name: checkout
|
|
if: github.event_name == 'push'
|
|
uses: actions/checkout@v2
|
|
- name: check-spelling
|
|
id: spelling
|
|
uses: check-spelling/check-spelling@v0.0.20-alpha3
|
|
with:
|
|
config: .github/actions/spell-check
|
|
suppress_push_for_open_pull_request: 1
|
|
post_comment: 0
|
|
dictionary_source_prefixes: '{"cspell": "https://raw.githubusercontent.com/check-spelling/cspell-dicts/master/dictionaries/"}'
|
|
extra_dictionaries:
|
|
cspell:filetypes/filetypes.txt
|
|
cspell:html/html.txt
|
|
cspell:css/css.txt
|
|
check_extra_dictionaries: ''
|
|
- name: store-comment
|
|
if: failure()
|
|
uses: actions/upload-artifact@v2
|
|
with:
|
|
retention-days: 1
|
|
name: "check-spelling-comment-${{ github.run_id }}"
|
|
path: |
|
|
${{ steps.spelling.outputs.internal_state_directory }}
|
|
|
|
comment:
|
|
name: Comment
|
|
runs-on: ubuntu-latest
|
|
needs: spelling
|
|
permissions:
|
|
contents: write
|
|
pull-requests: write
|
|
if: always() && needs.spelling.result == 'failure' && needs.spelling.outputs.internal_state_directory
|
|
steps:
|
|
- name: checkout
|
|
uses: actions/checkout@v2
|
|
- name: set up
|
|
run: |
|
|
mkdir /tmp/data
|
|
- name: retrieve-comment
|
|
uses: actions/download-artifact@v2
|
|
with:
|
|
name: "check-spelling-comment-${{ github.run_id }}"
|
|
path: /tmp/data
|
|
- name: comment
|
|
uses: check-spelling/check-spelling@v0.0.20-alpha3
|
|
with:
|
|
config: .github/actions/spell-check
|
|
custom_task: comment
|
|
internal_state_directory: /tmp/data
|