diff options
author | Ladislau Szomoru <3372902+lszomoru@users.noreply.github.com> | 2022-05-11 14:45:45 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-05-11 14:45:45 +0300 |
commit | ad36ad0874c4769ab4fcd91cb47178a8d56e41d3 (patch) | |
tree | dd500c5622bd3707ce988a44bdc86a43e50cdfaa | |
parent | 2a9f19d36fe90248dec2c382f8fa460f69af6dbd (diff) |
Do not trigger the CI workflow automatically. One can still run it manually if needed. (#149246)
-rw-r--r-- | .github/workflows/ci.yml | 20 |
1 files changed, 11 insertions, 9 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index bcb323a6658..c9260f4dc88 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -1,14 +1,16 @@ name: CI -on: - push: - branches: - - main - - release/* - pull_request: - branches: - - main - - release/* +on: workflow_dispatch + +# on: +# push: +# branches: +# - main +# - release/* +# pull_request: +# branches: +# - main +# - release/* jobs: windows: |