From a216c75f08ee05c091a2130b8f99b8037b2b5f0e Mon Sep 17 00:00:00 2001
From: Andreas Motl <andreas.motl@crate.io>
Date: Tue, 12 Sep 2023 20:20:02 +0200
Subject: [PATCH] CI: Skip running redundant builds

---
 .github/workflows/docs.yml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 6cfabcc..4c6432b 100644
--- 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 }}