Symlink docs/change_log.md to CHANGES.md, don't copy (#2146)

[etc/vim.git] / .github / workflows / lint.yml

diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
index fa7286eec1fb0415499aa6a945892679807eb404..2480a5ec1316927d0c89983f94075d4cfaf167e1 100644 (file)
--- a/.github/workflows/lint.yml
+++ b/.github/workflows/lint.yml
@@ -4,18 +4,20 @@ on: [push, pull_request]
 
 jobs:
   build:
 
 jobs:
   build:

+    # We want to run on external PRs, but not on our own internal PRs as they'll be run
+    # by the push to the branch. Without this if check, checks are duplicated since
+    # internal PRs match both the push and pull_request events.
+    if:
+      github.event_name == 'push' || github.event.pull_request.head.repo.full_name !=
+      github.repository
+

     runs-on: ubuntu-latest
     runs-on: ubuntu-latest

-    strategy:
-      matrix:
-        python-version: [3.7]

 
     steps:
       - uses: actions/checkout@v2
 
 
     steps:
       - uses: actions/checkout@v2
 

-      - name: Set up Python ${{ matrix.python-version }}
+      - name: Set up Python

         uses: actions/setup-python@v2
         uses: actions/setup-python@v2

-        with:
-          python-version: ${{ matrix.python-version }}

 
       - name: Install dependencies
         run: |
 
       - name: Install dependencies
         run: |