fix: do not cancel running docs builds

2024-10-02 10:24:20 +02:00
parent e5457ac8ee
commit c24830acbf
1 changed files with 1 additions and 1 deletions
@@ -9,7 +9,7 @@ on:

 concurrency:
  group: ${{ github.workflow }}-${{ github.ref }}
-  cancel-in-progress: true
+  cancel-in-progress: false

 jobs:
  pre-job: