diff options
author | Vitaly Takmazov | 2024-07-23 11:02:16 +0300 |
---|---|---|
committer | Vitaly Takmazov | 2024-07-24 21:44:40 +0300 |
commit | 3e579ff83bce1a0031be1111f01f02970b262800 (patch) | |
tree | 85785ac043e28748a0e8cb72e55cc3de784bbed2 | |
parent | 29680ebaee2e137364245e8ff6f7822842951334 (diff) |
CI: allow manual trigger
-rw-r--r-- | .github/workflows/ci.yml | 1 |
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 }} |