We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 7499989 commit 72ce601Copy full SHA for 72ce601
2 files changed
.github/scripts/lint.sh
@@ -18,8 +18,9 @@ set -e
18
export LC_ALL=C.UTF-8
19
export LANG=C.UTF-8
20
21
-if [ -f "${HOME}/changed_files.txt" ]; then
22
- # TODO - Check for .pylintrc changes
+CL_FILE="${HOME}/changed_files.txt"
+
23
+if [ -f "${CL_FILE}" ] && ! grep -q .pylintrc "${CL_FILE}"; then
24
cat "${HOME}/changed_files.txt" | grep ".py$" | xargs pylint
25
else
26
find . -iname "*.py" | xargs pylint
.github/workflows/ci.yaml
@@ -28,6 +28,8 @@ jobs:
28
run: ./.github/scripts/lint.sh
29
test:
30
runs-on: ubuntu-latest
31
+ # Only run for internal PRs or after a merge
32
+ if: ${{ github.event.push || github.event.pull_request.head.repo.full_name == github.repository }}
33
strategy:
34
matrix:
35
# TODO - expand matrix once stable
0 commit comments