ci: add input to force new release (#1197)

This commit is contained in:
Baptiste Augrain 2022-08-16 15:33:34 +02:00 committed by GitHub
parent 7327f9910d
commit 79cdcd61bf
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
3 changed files with 24 additions and 3 deletions

View File

@ -2,6 +2,13 @@ name: linux_build
on:
workflow_dispatch:
inputs:
new_release:
type: choice
description: Force new Release
options:
- no
- yes
schedule:
- cron: '0 0 * * *'
push:
@ -54,7 +61,7 @@ jobs:
- name: Check existing VSCodium tags/releases
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
NEW_RELEASE: ${{ secrets.NEW_RELEASE }}
NEW_RELEASE: ${{ github.event.inputs.new_release }}
run: ./check_tags.sh
if: env.SHOULD_DEPLOY == 'yes'

View File

@ -2,6 +2,13 @@ name: macos_build
on:
workflow_dispatch:
inputs:
new_release:
type: choice
description: Force new Release
options:
- no
- yes
schedule:
- cron: '0 0 * * *'
push:
@ -42,7 +49,7 @@ jobs:
- name: Check existing VSCodium tags/releases
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
NEW_RELEASE: ${{ secrets.NEW_RELEASE }}
NEW_RELEASE: ${{ github.event.inputs.new_release }}
run: . check_tags.sh
if: env.SHOULD_DEPLOY == 'yes'

View File

@ -2,6 +2,13 @@ name: windows_build
on:
workflow_dispatch:
inputs:
new_release:
type: choice
description: Force new Release
options:
- no
- yes
schedule:
- cron: '0 0 * * *'
push:
@ -50,7 +57,7 @@ jobs:
- name: Check existing VSCodium tags/releases
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
NEW_RELEASE: ${{ secrets.NEW_RELEASE }}
NEW_RELEASE: ${{ github.event.inputs.new_release }}
run: ./check_tags.sh
if: env.SHOULD_DEPLOY == 'yes'