diff options
author | haslinghuis <mark@numloq.nl> | 2022-10-14 14:30:33 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-10-14 14:30:33 +0300 |
commit | b5c2216970972a83a57e6239b8a9bf641997e021 (patch) | |
tree | ebc35b714c322018e195b224767110bd44c32bc0 | |
parent | 2d84e4738eef8aa92eeb026763c48303c7444ff6 (diff) | |
parent | 11661228a063146bf52478c2762e7e521cb9a3f9 (diff) |
Merge pull request #3046 from nerdCopter/20221013_github_actions_workflow_manual_build
Workflow improvement - add option for non-PR manual builds
-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 }} |