github: Prevent duplicate CI runs

This cancels previous runs of the same branch and skips runs of the same content (e.g. after merges or tags).
2020-12-15 10:42:43 +01:00
parent de401e0e89
commit 8468b43891
6 changed files with 76 additions and 0 deletions
@@ -10,7 +10,19 @@ env:
  OS_NAME: linux

 jobs:
+  pre-check:
+    runs-on: ubuntu-latest
+    outputs:
+      should_skip: ${{ steps.skip-check.outputs.should_skip }}
+    steps:
+      - id: skip-check
+        uses: fkirc/skip-duplicate-actions@master
+        with:
+          concurrent_skipping: 'same_content'
+
  android:
+    needs: pre-check
+    if: ${{ needs.pre-check.outputs.should_skip != 'true' }}
    runs-on: ubuntu-latest
    env:
      TEST: android