prettier: no need to lint crowdin prs
parent
070eb28dbd
commit
0be52437ed
|
@ -1,6 +1,12 @@
|
|||
name: Lint code
|
||||
|
||||
on: [push, pull_request]
|
||||
on:
|
||||
push:
|
||||
branches-ignore:
|
||||
- 'l10n_master'
|
||||
pull_request:
|
||||
paths-ignore:
|
||||
- 'translation/dest/**'
|
||||
|
||||
jobs:
|
||||
lint:
|
||||
|
|
|
@ -9,6 +9,8 @@ public/glyphs.json
|
|||
public/javascripts/vendor
|
||||
public/vendor
|
||||
|
||||
translation/dest
|
||||
|
||||
dist/
|
||||
ui/common/**/*.js
|
||||
ui/common/**/*.d.ts
|
||||
|
|
Loading…
Reference in New Issue