File tree 1 file changed +4
-4
lines changed
1 file changed +4
-4
lines changed Original file line number Diff line number Diff line change 8
8
9
9
jobs :
10
10
build-doc :
11
- if : github.repository == 'LearningOS/rCore-Tutorial-Code-2024A '
11
+ if : github.repository == 'LearningOS/rCore-Tutorial-Code-2025S '
12
12
runs-on : ubuntu-latest
13
13
steps :
14
14
- uses : actions/checkout@v4
@@ -24,17 +24,17 @@ jobs:
24
24
publish_dir : ./os/target/riscv64gc-unknown-none-elf/doc
25
25
destination_dir : ${{ github.ref_name }}
26
26
gitlab-mirror :
27
- if : github.repository == 'LearningOS/rCore-Tutorial-Code-2024A '
27
+ if : github.repository == 'LearningOS/rCore-Tutorial-Code-2025S '
28
28
runs-on : ubuntu-latest
29
29
steps :
30
30
- uses : actions/checkout@v1
31
31
- name : Mirror + trigger CI
32
32
uses : tkf2019/gitlab-mirror-and-ci-action@master
33
33
with :
34
- args : " https://git.tsinghua.edu.cn/os-lab/2024A /public/rcore-tutorial-code-2024A "
34
+ args : " https://git.tsinghua.edu.cn/os-lab/2025S /public/rcore-tutorial-code-2025S "
35
35
env :
36
36
GITLAB_HOSTNAME : " git.tsinghua.edu.cn"
37
37
GITLAB_PROJECT_ID : " 34689"
38
- GITLAB_PROJECT_NAME : " rcore-tutorial-code-2024A "
38
+ GITLAB_PROJECT_NAME : " rcore-tutorial-code-2025S "
39
39
GITLAB_PROJECT_TOKEN : ${{secrets.GITLAB_PROJECT_TOKEN}}
40
40
GITHUB_TOKEN : ${{secrets.GITHUB_TOKEN}}
You can’t perform that action at this time.
0 commit comments