Skip to content

Merge remote-tracking branch 'upstream/master' into chatterino7 #634

Merge remote-tracking branch 'upstream/master' into chatterino7

Merge remote-tracking branch 'upstream/master' into chatterino7 #634

Workflow file for this run

---
name: Lint
on:
push:
branches:
- chatterino7
pull_request:
merge_group:
concurrency:
group: lint-${{ github.ref }}
cancel-in-progress: true
jobs:
lint:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Check formatting with Prettier
uses: actionsx/prettier@3d9f7c3fa44c9cb819e68292a328d7f4384be206
with:
# prettier CLI arguments.
args: --write .
- name: Show diff
run: git --no-pager diff --exit-code --color=never
shell: bash
- name: Check Theme files
run: |
npm i ajv-cli
npx -- ajv validate -s docs/ChatterinoTheme.schema.json -d "resources/themes/*.json"