Skip to content

Commit

Permalink
chore(ci): fix redo-typo-pr.yml (#8555)
Browse files Browse the repository at this point in the history
OK that didn't work first pass for a few silly reasons, but I wanted a
baseline in so I can test with workflow_dispatch (don't know how to do
that to uncommitted flows)

Also made it work on a PR label redo-typo-pr
  • Loading branch information
ludamad authored Sep 16, 2024
1 parent 8a1e7c3 commit 7f1673c
Showing 1 changed file with 23 additions and 6 deletions.
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 }}

0 comments on commit 7f1673c

Please sign in to comment.