add concurrency to workflows

JuliaPlots · Oct 6, 2022 · 3ac73fe · 3ac73fe
1 parent e246a59
commit 3ac73fe
Showing 1 changed file with 6 additions and 4 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -2,12 +2,14 @@ name: docs
 
 on:
  push:
-  branches:
-    - master
+  branches: [master]
  workflow_dispatch:
  pull_request:
-  branches:
-    - master
+  branches: [master]
+
+concurrency: 
+  group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
+  cancel-in-progress: true
 
 jobs:
   Build_docs: