Merge pull request #3046 from nerdCopter/20221013_github_actions_workflow_manual_build

Workflow improvement - add option for non-PR manual builds
10.9-maintenance
haslinghuis 2022-10-14 13:30:33 +02:00 committed by GitHub
commit b5c2216970
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 18 additions and 0 deletions

18
.github/workflows/manual-build.yml vendored Normal file
View File

@ -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 }}