CI: Skip intermediate jobs, in order to save CI time (#152)

Author: DilumAluthge

.github/workflows/example.yml

@@ -11,6 +11,11 @@ on:
 defaults:
   run:
     shell: bash
+concurrency:
+  # Skip intermediate builds: all builds except for builds on the `main` branch
+  # Cancel intermediate builds: only pull request builds
+  group: ${{ github.workflow }}-${{ github.ref }}-${{ github.ref != 'refs/heads/main' || github.run_number }}
+  cancel-in-progress: ${{ startsWith(github.ref, 'refs/pull/') }}
 jobs:
   example:
     runs-on: ${{ matrix.os }}

.github/workflows/multiple_prs.yml

@@ -9,6 +9,11 @@ on:
 defaults:
   run:
     shell: bash
+concurrency:
+  # Skip intermediate builds: all builds except for builds on the `main` branch
+  # Cancel intermediate builds: only pull request builds
+  group: ${{ github.workflow }}-${{ github.ref }}-${{ github.ref != 'refs/heads/main' || github.run_number }}
+  cancel-in-progress: ${{ startsWith(github.ref, 'refs/pull/') }}
 jobs:
   multiple_prs:
     runs-on: ubuntu-latest

.github/workflows/single_pr.yml

@@ -9,6 +9,11 @@ on:
 defaults:
   run:
     shell: bash
+concurrency:
+  # Skip intermediate builds: all builds except for builds on the `main` branch
+  # Cancel intermediate builds: only pull request builds
+  group: ${{ github.workflow }}-${{ github.ref }}-${{ github.ref != 'refs/heads/main' || github.run_number }}
+  cancel-in-progress: ${{ startsWith(github.ref, 'refs/pull/') }}
 jobs:
   update_each_manifest:
     runs-on: ubuntu-latest