diff options
author | nerdCopter <56646290+nerdCopter@users.noreply.github.com> | 2022-10-13 17:36:28 +0300 |
---|---|---|
committer | nerdCopter <56646290+nerdCopter@users.noreply.github.com> | 2022-10-13 17:36:28 +0300 |
commit | 11661228a063146bf52478c2762e7e521cb9a3f9 (patch) | |
tree | f3780b59cc7319ccb98b974748d7e27a0391eb85 /.github | |
parent | 3a4751946f95ea42618f4fd2be92d015dd01db52 (diff) |
Workflow improvement - add option for non-PR manual builds
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/manual-build.yml | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/.github/workflows/manual-build.yml b/.github/workflows/manual-build.yml new file mode 100644 index 00000000..f157b6ba --- /dev/null +++ b/.github/workflows/manual-build.yml @@ -0,0 +1,18 @@ +name: Manual Build +run-name: Manual Build ${{ github.ref_name }} ${{ ((inputs.debug_build == true) && '(debug)') || '' }} + +on: + workflow_dispatch: + inputs: + debug_build: + description: 'Specifies if it is a debug build or a release build' + default: true + required: false + type: boolean + +jobs: + ci: + name: CI + uses: ./.github/workflows/ci.yml + with: + debug_build: ${{ inputs.debug_build }} |