ci: Don't run CodeQL on translation changes
This commit is contained in:
parent
bb03864664
commit
673f406539
|
@ -16,6 +16,7 @@ on:
|
||||||
branches:
|
branches:
|
||||||
- '*'
|
- '*'
|
||||||
- '!i18n_master'
|
- '!i18n_master'
|
||||||
|
- '!l10n_master'
|
||||||
pull_request:
|
pull_request:
|
||||||
# The branches below must be a subset of the branches above
|
# The branches below must be a subset of the branches above
|
||||||
branches: [ master ]
|
branches: [ master ]
|
||||||
|
|
|
@ -1,12 +1,12 @@
|
||||||
name: Validation
|
name: Validation
|
||||||
|
|
||||||
on:
|
on:
|
||||||
push:
|
|
||||||
tags:
|
|
||||||
- '*'
|
|
||||||
pull_request:
|
pull_request:
|
||||||
branches:
|
branches:
|
||||||
- '*'
|
- '*'
|
||||||
|
push:
|
||||||
|
tags:
|
||||||
|
- '*'
|
||||||
|
|
||||||
jobs:
|
jobs:
|
||||||
clang-format:
|
clang-format:
|
||||||
|
@ -54,4 +54,4 @@ jobs:
|
||||||
run: |
|
run: |
|
||||||
git --no-pager diff --patch --minimal HEAD --
|
git --no-pager diff --patch --minimal HEAD --
|
||||||
git update-index --refresh
|
git update-index --refresh
|
||||||
git diff-index --quiet HEAD --
|
git diff-index --quiet HEAD --
|
||||||
|
|
Loading…
Reference in New Issue