Docs CI: Limit concurrent builds

2026-09-08 17:28:58 +00:00 · 2023-05-13 22:25:12 +02:00
parent f19fb3e8bd
commit 59345d8ac6
1 changed files with 5 additions and 0 deletions
@@ -1,8 +1,13 @@
 name: Continuous integration
+
 on:
  push:
  pull_request:

+concurrency:
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
+  cancel-in-progress: true
+
 jobs:
  build:
    runs-on: ubuntu-20.04