diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index ec3acf77563f7e..a11a368fd8311f 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -4,6 +4,7 @@ name: Tests # it prevents to mark a job as mandatory. A PR cannot be merged if a job is # mandatory but not scheduled because of "paths-ignore". on: + workflow_dispatch: push: branches: - 'main' diff --git a/.github/workflows/build_msi.yml b/.github/workflows/build_msi.yml index db5eaa17573f27..476a0b1bc07385 100644 --- a/.github/workflows/build_msi.yml +++ b/.github/workflows/build_msi.yml @@ -1,6 +1,7 @@ name: TestsMSI on: + workflow_dispatch: push: branches: - 'main' diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml index ca4476c5090129..755a4d5e173ee3 100644 --- a/.github/workflows/doc.yml +++ b/.github/workflows/doc.yml @@ -1,6 +1,7 @@ name: Docs on: + workflow_dispatch: #push: # branches: # - 'main'