commit 957d0f2c6f5d499308f48a5dd10a04063daf2a4e
parent b12b57c3c3d7c40246873140eb068982feb3acaf
Author: minerva-jupiter <ryouturn@gmail.com>
Date: Thu, 17 Apr 2025 20:12:35 +0900
delete setup
Diffstat:
1 file changed, 0 insertions(+), 5 deletions(-)
diff --git a/.github/workflows/PRbuild.yaml b/.github/workflows/PRbuild.yaml
@@ -9,11 +9,6 @@ jobs:
name: PRBuild
runs-on: self-hosted
steps:
- - name: setup git
- run: |
- git config user.name "GitHub Actions Bot"
- git config user.email "<>"
- git pull origin dev
- name: Set up Git repository
uses: actions/checkout@v2
- name: compile latex document