From d4c68b089598cc9e5f41d679c6fd3a291072bfd3 Mon Sep 17 00:00:00 2001 From: Kara Date: Sun, 10 Sep 2023 04:37:27 -0500 Subject: [PATCH] action time --- .github/workflows/mdBook.yml | 63 ++++++++++++++++++++++++++++++++++++ 1 file changed, 63 insertions(+) create mode 100644 .github/workflows/mdBook.yml diff --git a/.github/workflows/mdBook.yml b/.github/workflows/mdBook.yml new file mode 100644 index 000000000..6fa2f6cf1 --- /dev/null +++ b/.github/workflows/mdBook.yml @@ -0,0 +1,63 @@ +name: Deploy mdBook site to Pages + +on: + # Run on all pushes -- we check for only running on deploy later + push: + # Allows you to run this workflow manually from the Actions tab + workflow_dispatch: + +# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages +permissions: + contents: read + pages: write + id-token: write + +# Allow only one concurrent deployment, skipping runs queued between the run in-progress and latest queued. +# However, do NOT cancel in-progress runs as we want to allow these production deployments to complete. +concurrency: + group: "pages" + cancel-in-progress: false + +jobs: + # Build job + build: + runs-on: ubuntu-latest + env: + MDBOOK_VERSION: 0.4.21 + MDBOOK_ADMONISH_VERSION: 1.11.1 + MDBOOK_LINKCHECK_VERSION: 0.7.7 + MDBOOK_MERMAID_VERSION: 0.12.6 + MDBOOK_TEMPLATE_VERSION: 1.1.0 + steps: + - uses: actions/checkout@v3 + - name: Install mdBook + run: | + curl --proto '=https' --tlsv1.2 https://sh.rustup.rs -sSf -y | sh + rustup update + cargo install --version ${MDBOOK_VERSION} mdbook + cargo install --version ${MDBOOK_ADMONISH_VERSION} mdbook-admonish + cargo install --version ${MDBOOK_LINKCHECK_VERSION} mdbook-linkcheck + cargo install --version ${MDBOOK_MERMAID_VERSION} mdbook-mermaid + cargo install --version ${MDBOOK_TEMPLATE_VERSION} mdbook-template + - name: Setup Pages + id: pages + uses: actions/configure-pages@v3 + - name: Build with mdBook + run: mdbook build + - name: Upload artifact + uses: actions/upload-pages-artifact@v2 + with: + path: ./book + + # Deployment job + deploy: + environment: + name: github-pages + url: ${{ steps.deployment.outputs.page_url }} + runs-on: ubuntu-latest + needs: build + if: github.ref == 'refs/heads/master' + steps: + - name: Deploy to GitHub Pages + id: deployment + uses: actions/deploy-pages@v2