diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ant-build-release.yaml | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/.github/workflows/ant-build-release.yaml b/.github/workflows/ant-build-release.yaml index 2912d95ef..5174008fa 100644 --- a/.github/workflows/ant-build-release.yaml +++ b/.github/workflows/ant-build-release.yaml @@ -2,11 +2,12 @@ name: Build GitHub Release # This workflow builds the YaCy Search Server and creates a GitHub Release with the build artifacts. on: - push: - tags: - - "v*.*.*" - - "Release_*" - pull_request: + # TODO: Currently disabled, because I'm not sure if this is the right way to do the release. + # push: + # tags: + # - "v*.*.*" + # - "Release_*" + # pull_request: workflow_dispatch: permissions: |