Finn Evers
1deed65cdd
GitHub allows defining a default shell for all jobs on the workflow level, which we did not use before, yet practically did when it comes down to our usage of `named::bash`. Since this makes stuff quite verbose, I decided on using the defaults instead so the workflows become somewhat easier to audit when reading the generated files. Powershell steps continue to use Powershell, only the default for bash scripts was modified. Release Notes: - N/A
47 lines
1.4 KiB
YAML
47 lines
1.4 KiB
YAML
# Generated from xtask::workflows::cherry_pick
|
|
# Rebuild with `cargo xtask workflows`.
|
|
name: cherry_pick
|
|
run-name: 'cherry_pick to ${{ inputs.channel }} #${{ inputs.pr_number }}'
|
|
on:
|
|
workflow_dispatch:
|
|
inputs:
|
|
commit:
|
|
description: commit
|
|
required: true
|
|
type: string
|
|
branch:
|
|
description: branch
|
|
required: true
|
|
type: string
|
|
channel:
|
|
description: channel
|
|
required: true
|
|
type: string
|
|
pr_number:
|
|
description: pr_number
|
|
required: true
|
|
type: string
|
|
jobs:
|
|
run_cherry_pick:
|
|
runs-on: namespace-profile-2x4-ubuntu-2404
|
|
steps:
|
|
- name: steps::checkout_repo
|
|
uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683
|
|
with:
|
|
clean: false
|
|
- id: get-app-token
|
|
name: steps::authenticate_as_zippy
|
|
uses: actions/create-github-app-token@bef1eaf1c0ac2b148ee2a0a74c65fbe6db0631f1
|
|
with:
|
|
app-id: ${{ secrets.ZED_ZIPPY_APP_ID }}
|
|
private-key: ${{ secrets.ZED_ZIPPY_APP_PRIVATE_KEY }}
|
|
- name: cherry_pick::run_cherry_pick::cherry_pick
|
|
run: ./script/cherry-pick ${{ inputs.branch }} ${{ inputs.commit }} ${{ inputs.channel }}
|
|
env:
|
|
GIT_COMMITTER_NAME: Zed Zippy
|
|
GIT_COMMITTER_EMAIL: hi@zed.dev
|
|
GITHUB_TOKEN: ${{ steps.get-app-token.outputs.token }}
|
|
defaults:
|
|
run:
|
|
shell: bash -euxo pipefail {0}
|