From c11822d3dbca0b87d3f0f5f35b704cc1ba67331b Mon Sep 17 00:00:00 2001 From: "Omar U. Espejel" Date: Thu, 12 Oct 2023 11:41:38 +0700 Subject: [PATCH] :memo: eliminate everything related to gh pages from workflow --- .github/workflows/mdbook.yml | 21 --------------------- 1 file changed, 21 deletions(-) diff --git a/.github/workflows/mdbook.yml b/.github/workflows/mdbook.yml index 9dae96e3d..d6c25b29c 100644 --- a/.github/workflows/mdbook.yml +++ b/.github/workflows/mdbook.yml @@ -1,5 +1,3 @@ -# To get started with mdBook see: https://rust-lang.github.io/mdBook/index.html -# name: Deploy mdBook to Production Site on: @@ -10,14 +8,8 @@ on: permissions: contents: read - pages: write id-token: write -# Allow one concurrent deployment -concurrency: - group: pages - cancel-in-progress: true - env: CARGO_TERM_COLOR: always @@ -26,7 +18,6 @@ jobs: runs-on: ubuntu-latest permissions: contents: read # To push a branch - pages: write # To push to a GitHub Pages site id-token: write # To update the deployment status steps: - name: Checkout @@ -53,18 +44,6 @@ jobs: echo "::endgroup::" done - # - name: Setup Pages - # uses: actions/configure-pages@v3 - - # - name: Upload artifact - # uses: actions/upload-pages-artifact@v1 - # with: - # path: ./book - - # - name: Deploy to GitHub Pages - # id: deployment - # uses: actions/deploy-pages@v2 - - name: Rename book to public_html run: mv book public_html