CI: Skip running redundant builds

crate · Sep 12, 2023 · a216c75 · a216c75
1 parent 35644dc
commit a216c75
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -5,6 +5,11 @@ on:
     branches:
       - main
 
+# Skip running redundant builds.
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 jobs:
   documentation:
     name: Build docs on ${{ matrix.os }}