Skip to content

Commit

Permalink
Merge pull request #65 from AdmiringWorm/spell-checking
Browse files Browse the repository at this point in the history
(maint) Add spell check linting to repository
  • Loading branch information
pauby authored Oct 4, 2023
2 parents 91f919b + a1dc32f commit 2bbf995
Show file tree
Hide file tree
Showing 3 changed files with 90 additions and 1 deletion.
35 changes: 35 additions & 0 deletions .github/workflows/full-linting.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,35 @@
name: Full Linting
on:
workflow_dispatch:

jobs:
misspell:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Setup ReviewDog
uses: reviewdog/[email protected]
- name: Run misspell with reviewdog
uses: reviewdog/[email protected]
with:
github_token: ${{ secrets.github_token }}
reporter: 'github-check'
level: warning
locale: "US"
path: |
input
src
filter_mode: nofilter
languagetool:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Setup ReviewDog
uses: reviewdog/[email protected]
- name: Run LanguageTool with reviewdog
uses: reviewdog/[email protected]
with:
github_token: ${{ secrets.github_token }}
reporter: 'github-check'
level: warning # Only valid if running on a commit, ie through push to master branch
language: en-US
54 changes: 54 additions & 0 deletions .github/workflows/linting.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,54 @@
name: Linting
on:
push:
branches:
- master
pull_request:

permissions:
contents: read
pull-requests: write
issues: write

jobs:
misspell:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: haya14busa/action-cond@v1
id: reporter
with:
cond: ${{ github.event_name == 'pull_request' || github.event_name == 'pull_request_target' }}
if_true: "github-pr-review"
if_false: "github-check"
- name: Setup ReviewDog
uses: reviewdog/[email protected]
- name: Run misspell with reviewdog
uses: reviewdog/[email protected]
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
reporter: ${{ steps.reporter.outputs.value }}
level: warning
locale: "US"
path: |
input
src
languagetool:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: haya14busa/action-cond@v1
id: reporter
with:
cond: ${{ github.event_name == 'pull_request' || github.event_name == 'pull_request_target' }}
if_true: "github-pr-review"
if_false: "github-check"
- name: Setup ReviewDog
uses: reviewdog/[email protected]
- name: Run LanguageTool with reviewdog
uses: reviewdog/[email protected]
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
reporter: ${{ steps.reporter.outputs.value }}
level: warning # Only valid if running on a commit, ie through push to master branch
language: en-US
2 changes: 1 addition & 1 deletion input/index.cshtml
Original file line number Diff line number Diff line change
Expand Up @@ -72,7 +72,7 @@ ShowInSidebar: false
<img loading="lazy" class="w-75" src='@Context.GetLink("/assets/images/undraw_speed_test.svg")' alt="Launch Boxstarter With one Easy URL" />
</div>
<div class="col-md-6">
<p class="text-pink fw-bold font-monospace mb-2 lead"># Convienient</p>
<p class="text-pink fw-bold font-monospace mb-2 lead"># Convenient</p>
<h2 class="mt-0">Launch With One Easy URL</h2>
<p class="lead">You can use Boxstarter to install a complete environment or install a small set of tools and Windows settings with absolutely no software pre installed using an easy to remember URL.</p>
<div class="pt-3">
Expand Down

0 comments on commit 2bbf995

Please sign in to comment.