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