Browse Source

cancel previous Build Documentation on the same PR (#967)

Aleksey Myasnikov 1 year ago
parent
commit
37a3110d33
1 changed files with 3 additions and 0 deletions
  1. 3 0
      .github/workflows/docs_build.yaml

+ 3 - 0
.github/workflows/docs_build.yaml

@@ -7,6 +7,9 @@ on:
 
 jobs:
   build-docs:
+    concurrency:
+      group: docs-build-${{ github.ref }}
+      cancel-in-progress: true
     runs-on: ubuntu-latest
     steps:
       - name: Checkout