Skip to content

Update gh-pages home page with 1.2RC links. #1215

Update gh-pages home page with 1.2RC links.

Update gh-pages home page with 1.2RC links. #1215

Workflow file for this run

name: Cherry pick
on:
pull_request_target:
branches:
- community
types: [ "closed" ]
permissions:
issues: read
pull-requests: write
contents: write
jobs:
cherry_pick_release:
runs-on: ubuntu-latest
name: Cherry pick into release branch
if: ${{ contains(github.event.pull_request.labels.*.name, 'cherry-pick') && github.event.pull_request.merged == true }}
steps:
- name: Checkout
uses: actions/checkout@v4
with:
fetch-depth: 0
- name: Cherry pick into release/1.2
uses: carloscastrojumo/[email protected]
with:
branch: release/1.2
labels: |
cherry-picked