Only make 1 PR deployment run at the time

(cherry picked from commit 807308321ffba6f3813b1e8e86bbab5b955178f5)
2023-10-06 15:49:14 +07:00
parent 0341cb2499
commit a744e45777
1 changed files with 3 additions and 0 deletions
@@ -5,6 +5,9 @@ on:

 name: Deploy PR on Github Pages

+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+
 jobs:
  deploy:
    name: Build web version and deploy