fix(ci): split up checkout steps for push vs. pull request (#3911)

This commit is contained in:
Gabe Kangas
2024-09-05 13:50:59 -07:00
committed by GitHub
parent 90b70612c9
commit 89a33ea4e3
15 changed files with 132 additions and 31 deletions

View File

@@ -13,7 +13,15 @@ jobs:
name: GitHub actions
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Check out pull request code
uses: actions/checkout@v4
if: github.event_name == 'pull_request'
with:
repository: ${{ github.event.pull_request.head.repo.full_name }}
- name: Check out repository code
uses: actions/checkout@v4
if: github.event_name == 'push'
- uses: docker://rhysd/actionlint:latest
with: