add concurrency

pull/2/head
Roxedus 2023-11-20 10:36:18 +01:00
rodzic c36274a831
commit b31e332751
1 zmienionych plików z 4 dodań i 0 usunięć

Wyświetl plik

@ -2,6 +2,10 @@ name: Build mkdocs and deploy to GitHub Pages
on: [push, pull_request]
concurrency:
group: ${{ github.ref }}
cancel-in-progress: true
jobs:
build: