mirror of
https://github.com/huggingface/transformers.git
synced 2025-08-03 03:31:05 +06:00
ab59cc27fe
* pr * pr * pr * pr * pr * pr * pr * pr * pr --------- Co-authored-by: ydshieh <ydshieh@users.noreply.github.com>
37 lines
1.2 KiB
YAML
37 lines
1.2 KiB
YAML
name: Get PR number
|
|
on:
|
|
workflow_call:
|
|
outputs:
|
|
PR_NUMBER:
|
|
description: "The extracted PR number"
|
|
value: ${{ jobs.get-pr-number.outputs.PR_NUMBER }}
|
|
|
|
jobs:
|
|
get-pr-number:
|
|
runs-on: ubuntu-22.04
|
|
name: Get PR number
|
|
outputs:
|
|
PR_NUMBER: ${{ steps.set_pr_number.outputs.PR_NUMBER }}
|
|
steps:
|
|
- name: Get PR number
|
|
shell: bash
|
|
run: |
|
|
if [[ "${{ github.event.issue.number }}" != "" && "${{ github.event.issue.pull_request }}" != "" ]]; then
|
|
echo "PR_NUMBER=${{ github.event.issue.number }}" >> $GITHUB_ENV
|
|
elif [[ "${{ github.event.pull_request.number }}" != "" ]]; then
|
|
echo "PR_NUMBER=${{ github.event.pull_request.number }}" >> $GITHUB_ENV
|
|
elif [[ "${{ github.event.pull_request }}" != "" ]]; then
|
|
echo "PR_NUMBER=${{ github.event.number }}" >> $GITHUB_ENV
|
|
else
|
|
echo "PR_NUMBER=" >> $GITHUB_ENV
|
|
fi
|
|
|
|
- name: Check PR number
|
|
shell: bash
|
|
run: |
|
|
echo "${{ env.PR_NUMBER }}"
|
|
|
|
- name: Set PR number
|
|
id: set_pr_number
|
|
run: echo "PR_NUMBER=${{ env.PR_NUMBER }}" >> "$GITHUB_OUTPUT"
|