Update 2025S

Author: hw0505

.github/workflows/build.yml

@@ -8,13 +8,13 @@ env:
 
 jobs:
   build-doc:
-    if: github.repository == 'LearningOS/rCore-Tutorial-Code-2024A'
+    if: github.repository == 'LearningOS/rCore-Tutorial-Code-2025S'
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
       - name: Build doc
         run: |
-          git clone https://github.com/LearningOS/rCore-Tutorial-Test-2024A.git user
+          git clone https://github.com/LearningOS/rCore-Tutorial-Test-2025S.git user
           cd os
           make
           cargo doc --no-deps --verbose
@@ -25,17 +25,17 @@ jobs:
           publish_dir: ./os/target/riscv64gc-unknown-none-elf/doc
           destination_dir: ${{ github.ref_name }}
   gitlab-mirror:
-    if: github.repository == 'LearningOS/rCore-Tutorial-Code-2024A'
+    if: github.repository == 'LearningOS/rCore-Tutorial-Code-2025S'
     runs-on: ubuntu-latest
     steps:
     - uses: actions/checkout@v1
     - name: Mirror + trigger CI
       uses: tkf2019/gitlab-mirror-and-ci-action@master
       with:
-        args: "https://git.tsinghua.edu.cn/os-lab/2024a/public/rcore-tutorial-code-2024a"
+        args: "https://git.tsinghua.edu.cn/os-lab/2025s/public/rcore-tutorial-code-2025s"
       env:
         GITLAB_HOSTNAME: "git.tsinghua.edu.cn"
         GITLAB_PROJECT_ID: "34689"
-        GITLAB_PROJECT_NAME: "rcore-tutorial-code-2024a"
+        GITLAB_PROJECT_NAME: "rcore-tutorial-code-2025s"
         GITLAB_PROJECT_TOKEN: ${{secrets.GITLAB_PROJECT_TOKEN}}
         GITHUB_TOKEN: ${{secrets.GITHUB_TOKEN}}