File tree Expand file tree Collapse file tree 2 files changed +4
-4
lines changed
Expand file tree Collapse file tree 2 files changed +4
-4
lines changed Original file line number Diff line number Diff line change @@ -56,11 +56,11 @@ jobs:
5656 - name : Mirror + trigger CI
5757 uses : tkf2019/gitlab-mirror-and-ci-action@master
5858 with :
59- args : " https://git.tsinghua.edu.cn/os-lab/2025s /public/rcore-tutorial-code-2025s "
59+ args : " https://git.tsinghua.edu.cn/os-lab/2025S /public/rcore-tutorial-code-2025S "
6060 env :
6161 GITLAB_HOSTNAME : " git.tsinghua.edu.cn"
6262 GITLAB_PROJECT_ID : " 34689"
63- GITLAB_PROJECT_NAME : " rcore-tutorial-code-2025s "
63+ GITLAB_PROJECT_NAME : " rcore-tutorial-code-2025S "
6464 GITLAB_PROJECT_TOKEN : ${{secrets.GITLAB_PROJECT_TOKEN}}
6565 GITHUB_TOKEN : ${{secrets.GITHUB_TOKEN}}
6666 deploy :
Original file line number Diff line number Diff line change 77test-code-job :
88 stage : test
99 script :
10- - git clone https://token:${rCoreCheckToken}@git.tsinghua.edu.cn/os-lab/2024a /ta/rcore-tutorial-checker-2024a .git ci-user
11- - git clone https://token:${rCoreTestToken}@git.tsinghua.edu.cn/os-lab/2024a /public/rcore-tutorial-test-2024a .git ci-user/user
10+ - git clone https://token:${rCoreCheckToken}@git.tsinghua.edu.cn/os-lab/2025S /ta/rcore-tutorial-checker-2025S .git ci-user
11+ - git clone https://token:${rCoreTestToken}@git.tsinghua.edu.cn/os-lab/2025S /public/rcore-tutorial-test-2025S .git ci-user/user
1212 - cd ci-user && make test CHAPTER=`echo $CI_COMMIT_REF_NAME | grep -oP 'ch\K[0-9]'` passwd=$BASE_TEST_TOKEN OFFLINE=1
You can’t perform that action at this time.
0 commit comments