Skip pull request job if push job already running

Author: spl

.github/workflows/ci.yml

@@ -5,9 +5,28 @@ on:
   pull_request:
 
 jobs:
-  setup-test-lint:
-    name: Setup, Test, and Lint
+
+  skip_if_running:
+    name: Skip job if already running
+    runs-on: ubuntu-latest
+
+    outputs:
+      skip: ${{ steps.check_skip.outputs.should_skip }}
+
+    steps:
+      - uses: fkirc/skip-duplicate-actions@master
+        id: check_skip
+        with:
+          concurrent_skipping: same_content_newer
+          do_not_skip: '["push", "workflow_dispatch"]'
+
+  all_checks:
+    name: All checks
     runs-on: ubuntu-latest
+
+    needs: skip_if_running
+    if: needs.skip_if_running.outputs.skip != 'true'
+
     steps:
     - uses: actions/checkout@v2
     - uses: actions/setup-node@v1