diff options
author | mitchell <70453897+orbitalquark@users.noreply.github.com> | 2022-03-03 10:13:34 -0500 |
---|---|---|
committer | mitchell <70453897+orbitalquark@users.noreply.github.com> | 2022-03-03 10:13:34 -0500 |
commit | b50f79a4e58427c0305bcbcb7453195780d36f78 (patch) | |
tree | 2fe9895309d658c625f8427189ccf5fd24c09671 /.github/workflows | |
parent | 56b853da03b7bd0f0034e1fd584246d0c42a88ff (diff) |
Updated GitHub workflow to use typed inputs.
Diffstat (limited to '.github/workflows')
-rw-r--r-- | .github/workflows/release.yml | 25 |
1 files changed, 19 insertions, 6 deletions
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index d34e5dae..7ea28021 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -4,9 +4,18 @@ on: - cron: "0 4 * * *" workflow_dispatch: inputs: - args: - description: Make arguments + target: + description: Make target default: release + type: choice + options: + - release + nightly: + description: Nightly build + type: boolean + debug: + description: Debug symbols + type: boolean tag: description: Optional release tag (normally auto-detected) @@ -33,12 +42,16 @@ jobs: # Build. if [[ ${{ github.event_name }} != schedule ]]; then - args="${{ github.event.inputs.args }}" + target="${{ github.event.inputs.target }}" + if [[ ${{ github.event.inputs.nightly }} = true ]]; then nightly="NIGHTLY=1"; fi + if [[ ${{ github.event.inputs.debug }} = true ]]; then debug="DEBUG=1"; fi else - args="release NIGHTLY=1 DEBUG=1" + target="release" + nightly="NIGHTLY=1" + debug="DEBUG=1" fi - make -C src deps win-deps osx-deps - make -C src $args + make -C src deps win-deps osx-deps $nightly + make -C src $target $debug $nightly # For nightly builds, strip the date from filenames. for file in `ls src/textadept_nightly* 2>/dev/null`; do |