From cd9877f2aa3bbcc25b5ba1b8985fd982ff3d0c1e Mon Sep 17 00:00:00 2001 From: Dominik Nakamura Date: Sun, 31 Dec 2023 23:41:14 +0900 Subject: [PATCH] chore: remove outdated GitHub Actions config --- .github/workflows/book.yml | 47 -------------------------------------- 1 file changed, 47 deletions(-) delete mode 100644 .github/workflows/book.yml diff --git a/.github/workflows/book.yml b/.github/workflows/book.yml deleted file mode 100644 index 6a9565a..0000000 --- a/.github/workflows/book.yml +++ /dev/null @@ -1,47 +0,0 @@ -name: Book -on: - push: - branches: [main] - paths: ["book/**"] -permissions: - contents: read - pages: write - id-token: write -concurrency: - group: pages - cancel-in-progress: false -jobs: - build: - name: Build - runs-on: ubuntu-latest - steps: - - name: Checkout repository - uses: actions/checkout@v4 - - name: Install cargo-binstall - uses: taiki-e/install-action@v2 - with: - tool: cargo-binstall - - name: Install tools - run: cargo binstall --no-confirm lychee@0.13.0 mdbook@0.4.32 mdbook-toc@0.14.0 - - name: Setup pages - id: pages - uses: actions/configure-pages@v3 - - name: Build Book - run: mdbook build book - - name: Check links - run: lychee 'book/src/**/*.md' 'book/book/**/*.html' - - name: Upload artifact - uses: actions/upload-pages-artifact@v2 - with: - path: book/book - deploy: - name: Deploy - environment: - name: github-pages - url: ${{ steps.deployment.outputs.page_url }} - runs-on: ubuntu-latest - needs: build - steps: - - name: Deploy to GitHub Pages - id: deployment - uses: actions/deploy-pages@v2