Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

chore(ci): fix redo-typo-pr.yml #8555

Merged
merged 4 commits into from
Sep 16, 2024
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
29 changes: 23 additions & 6 deletions .github/workflows/redo-typo-pr.yml
Original file line number Diff line number Diff line change
Expand Up @@ -8,22 +8,39 @@ on:
required: true
type: string

pull_request:
types: [labeled]
branches:
- master
paths-ignore:
- '**/README.md'
filters:
labels:
- 'redo-typo-pr'

jobs:
redo-typo-pr:
runs-on: ubuntu-latest

steps:
- name: Checkout repository
uses: actions/checkout@v3

- name: Install GitHub CLI
run: |
sudo apt-get update
sudo apt-get install -y gh
with:
token: ${{ secrets.AZTEC_BOT_GITHUB_TOKEN }}

- name: Authenticate with GitHub CLI
run: |
echo "${{ secrets.AZTEC_BOT_GITHUB_TOKEN }}" | gh auth login --with-token

- name: Set git configure for commits
run: |
# Identify ourselves, needed to commit
git config --global user.name AztecBot
git config --global user.email [email protected]

- name: Determine PR number
id: determine-pr-number
run: echo "PR_NUMBER=${{ github.event.inputs.pr_number || github.event.pull_request.number }}" >> $GITHUB_ENV

- name: Run repo-typo-pr script
run: ./scripts/repo-typo-pr ${{ github.event.inputs.pr_number }}
run: ./scripts/redo-typo-pr ${{ env.PR_NUMBER }}
Loading