From fc499b1bce3983a6ed2a1e7217749e756303b365 Mon Sep 17 00:00:00 2001
From: Yu Chen <yuchen@mail.tsinghua.edu.cn>
Date: Mon, 16 May 2022 08:29:43 +0800
Subject: [PATCH] remove .github/workflows/build-doc.yml

---
 .github/workflows/build-doc.yml | 25 -------------------------
 1 file changed, 25 deletions(-)
 delete mode 100644 .github/workflows/build-doc.yml

diff --git a/.github/workflows/build-doc.yml b/.github/workflows/build-doc.yml
deleted file mode 100644
index a48f1474..00000000
--- a/.github/workflows/build-doc.yml
+++ /dev/null
@@ -1,25 +0,0 @@
-name: Build Rust Doc
-
-on: [push]
-
-env:
-  CARGO_TERM_COLOR: always
-
-jobs:
-  build-doc:
-    runs-on: ubuntu-latest
-    steps:
-      - uses: actions/checkout@v2
-      - name: Build doc
-        run: |
-          rustup target add riscv64gc-unknown-none-elf
-          rustup component add llvm-tools-preview
-          rustup component add rust-src
-          cd os
-          cargo doc --no-deps --verbose
-      - name: Deploy to Github 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 }}
\ No newline at end of file