update sync PR # description (#2730)

This commit is contained in:
Shuchang Zheng
2025-06-17 10:57:25 -07:00
committed by GitHub
parent fe8c081fc6
commit 1292d11ce4

View File

@@ -7,7 +7,7 @@ on:
workflow_dispatch: workflow_dispatch:
inputs: inputs:
pr_number: pr_number:
description: 'PR number to sync' description: 'PR number to sync. Input JUST the number, no #'
required: true required: true
type: string type: string
jobs: jobs: