Skip to content

Initialize ch1

Initialize ch1 #7

Workflow file for this run

name: Jobs
on: [push]
env:
CARGO_TERM_COLOR: always
rust_toolchain: nightly
jobs:
build-doc:
if: github.repository == 'LearningOS/rCore-Tutorial-Code-2024S'
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Build doc
run: |
cd os
make
cargo doc --no-deps --verbose
- name: Push to gh-pages
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./os/target/riscv64gc-unknown-none-elf/doc
destination_dir: ${{ github.ref_name }}
gitlab-mirror:
if: github.repository == 'LearningOS/rCore-Tutorial-Code-2024S'
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/2024s/public/rcore-tutorial-code-2024s"
env:
GITLAB_HOSTNAME: "git.tsinghua.edu.cn"
GITLAB_PROJECT_ID: "29091"
GITLAB_PROJECT_NAME: "rcore-tutorial-code-2024s"
GITLAB_PROJECT_TOKEN: ${{secrets.GITLAB_PROJECT_TOKEN}}
GITHUB_TOKEN: ${{secrets.GITHUB_TOKEN}}