Remove build-doc in workflow

tkf2019 · Mar 4, 2023 · 991b325 · 991b325
1 parent 34d7745
commit 991b325
Showing 1 changed file with 1 addition and 13 deletions.
diff --git a/.github/workflows/classroom.yml b/.github/workflows/classroom.yml
@@ -101,16 +101,4 @@ jobs:
           build_dir: autograding_logs
           keep_history: true
         env:
-          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-  build-doc:
-    runs-on: ubuntu-latest
-    steps:
-      - uses: actions/checkout@v2
-      - name: Build doc
-        run: cargo xtask make --oscomp --doc
-      - name: Push to gh-pages
-        uses: peaceiris/actions-gh-pages@v3
-        with:
-          github_token: ${{ secrets.GITHUB_TOKEN }}
-          publish_dir: ./target/riscv64gc-unknown-none-elf/doc
-          destination_dir: ${{ github.ref_name }}
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}