CI: 跳过pr中间构建

JuliaCN · Oct 18, 2024 · fb30e70 · fb30e70
1 parent 68273c6
commit fb30e70
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -7,6 +7,12 @@ on:
   pull_request:
   workflow_dispatch:
 
+concurrency:
+  # Skip intermediate builds: always.
+  # Cancel intermediate builds: only if it is a pull request build.
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: ${{ startsWith(github.ref, 'refs/pull/') }}
+
 jobs:
   HTML:
     runs-on: ubuntu-latest