diff options
author | Martin Weinelt <hexa@darmstadt.ccc.de> | 2023-12-02 19:47:53 +0100 |
---|---|---|
committer | Jörg Thalheim <Mic92@users.noreply.github.com> | 2023-12-02 21:52:46 +0100 |
commit | 13a5743c442d840284e58cb56958e462671881a4 (patch) | |
tree | efffa9647e267e6abd715de5e4198488e7c8b41c /.github/workflows/periodic-merge-6h.yml | |
parent | 4e00ad7aae338f1ae7f30452e634208a19651e34 (diff) |
workflows/periodic-merge: allow manual dispatch
Currently there is an eval fix on master and waiting five hours for it to propagate into staging-next and staging is annoyingly long.
Diffstat (limited to '.github/workflows/periodic-merge-6h.yml')
-rw-r--r-- | .github/workflows/periodic-merge-6h.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/periodic-merge-6h.yml b/.github/workflows/periodic-merge-6h.yml index 5d5f86db48f53..f3151ead6a0f3 100644 --- a/.github/workflows/periodic-merge-6h.yml +++ b/.github/workflows/periodic-merge-6h.yml @@ -13,6 +13,7 @@ on: # * is a special character in YAML so you have to quote this string # Merge every 6 hours - cron: '0 */6 * * *' + workflow_dispatch: permissions: contents: read |