Allow to trigger github workflow manually (#68)

FalkorDB · Nov 14, 2024 · 337bb5e · 337bb5e
1 parent 3a81181
commit 337bb5e
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 0 deletions.
diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
@@ -9,6 +9,7 @@ on:
       - main
   schedule:
       - cron: '0 0 * * *'  # This runs the workflow every day at midnight UTC
+  workflow_dispatch:
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -8,6 +8,7 @@ on:
   push:
     branches:
       - main
+  workflow_dispatch:
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}

diff --git a/.github/workflows/pr-checks.yml b/.github/workflows/pr-checks.yml
@@ -3,6 +3,7 @@ name: Mandatory Pull Request Checks
 on:
   pull_request:
     branches: [ "main" ]
+  workflow_dispatch:
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}