commit 772f12e9a2578528248e2cb24035427afbb53cca
parent b54be4ff1392ed786f175efd4c83253a92879c0a
Author: minerva-jupiter <ryouturn@gmail.com>
Date: Thu, 17 Apr 2025 20:15:09 +0900
pull -> fetch
Diffstat:
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.github/workflows/PRbuild.yaml b/.github/workflows/PRbuild.yaml
@@ -20,7 +20,7 @@ jobs:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
URL: ${{ github.event.pull_request.html_url }}
run: |
- git pull
+ git fetch origin dev
git add ./main.pdf
git commit -m "Add PDF to PR"
git push origin HEAD:dev