remove github pages

LearningOS · Jul 8, 2024 · 7075e63 · 7075e63
1 parent 69f52ea
commit 7075e63
Showing 1 changed file with 2 additions and 10 deletions.
diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
@@ -5,7 +5,6 @@ on:
     branches: [ main ]
     paths-ignore:
       - 'README.md'
-      # - '.github/**'
   pull_request:
     branches: [ main ]
   workflow_dispatch:
@@ -30,8 +29,9 @@ jobs:
       id: autograding
       with:
         outputFile: .github/result/check_result.json
+
   deploy:
-    name: Deploy to pages
+    name: Deploy to logs
     needs: build
     runs-on: ubuntu-latest
     steps:
@@ -61,11 +61,3 @@ jobs:
           points: '${{ needs.build.outputs.points }}'
           path: 'autograding_logs/points-badge.svg'
           type: 'badge'
-      - name: GitHub Pages
-        uses: crazy-max/ghaction-github-pages@v3
-        with:
-          target_branch: gh-pages
-          build_dir: autograding_logs
-          keep_history: true
-        env:
-          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}