Merge branch 'main' into ramonpetgrave64-patch-4

This commit is contained in:
Ramon Petgrave
2024-05-22 12:30:55 -04:00
committed by GitHub
7 changed files with 12699 additions and 25 deletions
@@ -39,7 +39,8 @@ jobs:
- name: checkout-pr
env:
GH_TOKEN: ${{ github.token }}
run: gh pr checkout ${{ inputs.pr_number }}
PR_NUMBER: ${{ inputs.pr_number }}
run: gh pr checkout "$PR_NUMBER"
- name: run-command
run: |
(
@@ -75,7 +76,8 @@ jobs:
- name: checkout-pr
env:
GH_TOKEN: ${{ github.token }}
run: gh pr checkout ${{ inputs.pr_number }}
PR_NUMBER: ${{ inputs.pr_number }}
run: gh pr checkout "$PR_NUMBER"
- name: download-patch
uses: actions/download-artifact@c850b930e6ba138125429b7e5c93fc707a7f8427 # v4.1.4
with: