mirrors/rocm_jax
1
0
Fork 0
mirror of https://github.com/ROCm/jax.git synced 2025-04-16 11:56:07 +00:00
Code Issues Packages Projects Releases Wiki Activity

Create a new branch when merging upstream main to rocm-main (#128)

Browse Source
This commit is contained in:
charleshofer 2024-11-06 14:03:26 -06:00 committed by GitHub
parent ea7683f058
commit 69e93e5a81
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 19 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
.github/workflows/rocm-nightly-upstream-sync.yml vendored
View File

@ -6,6 +6,8 @@ on:
workflow_dispatch:
schedule:
- cron: '0 6 * * 1-5'
env:
SYNC_BRANCH_NAME: ci-upstream-sync-${{ github.run_number }}_${{ github.run_attempt }}
jobs:
sync-main:
permissions:
@ -15,12 +17,28 @@ jobs:
- run: gh repo sync rocm/jax -b main
env:
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
create-sync-branch:
needs: sync-main
permissions:
contents: write
runs-on: ubuntu-latest
env:
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
steps:
- name: Checkout code
uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
- name: Create branch
run: |
git checkout -b $SYNC_BRANCH_NAME main
git push origin HEAD
open-sync-pr:
needs: create-sync-branch
permissions:
pull-requests: write
runs-on: ubuntu-latest
steps:
- run: |
gh pr create --repo $GITHUB_REPOSITORY --head main --base rocm-main --title "CI: $(date +%x) upstream sync" --body "Daily sync with upstream"
gh pr create --repo $GITHUB_REPOSITORY --head $SYNC_BRANCH_NAME --base rocm-main --title "CI: $(date +%x) upstream sync" --body "Daily sync with upstream"
env:
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}