chore: Start making use of Mozilla's linter, p=#12656

This commit is contained in:
mr. m
2026-03-07 12:15:32 +01:00
committed by GitHub
parent 7c8ccdedd4
commit 0ee960e3a3
78 changed files with 712 additions and 4842 deletions

View File

@@ -73,8 +73,9 @@ jobs:
npm run sync
fi
- name: Install autopep8
run: sudo apt install python3-autopep8
- name: Run Bootstrap
if: steps.check-upstream-branch.outputs.branch_exists == 'false'
run: npm run bootstrap
- name: Install requirements
run: pip3 install -r requirements.txt
@@ -82,7 +83,7 @@ jobs:
- name: Check if any files changed
id: git-check
run: |
npm run pretty
npm run lint:fix
if [ -n "$(git status --porcelain)" ]; then
echo "files_changed=true" >> $GITHUB_OUTPUT
else
@@ -119,7 +120,7 @@ jobs:
- name: Run formatter
if: steps.check-upstream-branch.outputs.branch_exists == 'false'
run: |
npm run pretty
npm run lint:fix
- name: Create pull request
uses: peter-evans/create-pull-request@v7