aboutsummaryrefslogtreecommitdiff
path: root/.github/workflows
diff options
context:
space:
mode:
authorGravatar Vitaly Takmazov2024-07-23 11:02:16 +0300
committerGravatar Vitaly Takmazov2024-07-24 21:44:40 +0300
commit3e579ff83bce1a0031be1111f01f02970b262800 (patch)
tree85785ac043e28748a0e8cb72e55cc3de784bbed2 /.github/workflows
parent29680ebaee2e137364245e8ff6f7822842951334 (diff)
CI: allow manual trigger
Diffstat (limited to '.github/workflows')
-rw-r--r--.github/workflows/ci.yml1
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 27bfe8b2..9d06bd63 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -4,6 +4,7 @@ on:
pull_request:
push:
branches: [master]
+ workflow_dispatch:
concurrency:
group: ${{ github.head_ref || github.ref }}