From de31673c00c93e27f1e8078b46d5f106b2f06af2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Antonio=20V=C3=A1zquez=20Blanco?= Date: Mon, 22 Apr 2024 14:55:39 +0200 Subject: [PATCH] CI --- .github/workflows/gh-pages.yml | 50 ++++++++++++++++++++++++++++++++++ 1 file changed, 50 insertions(+) create mode 100644 .github/workflows/gh-pages.yml diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml new file mode 100644 index 0000000..f7f9137 --- /dev/null +++ b/.github/workflows/gh-pages.yml @@ -0,0 +1,50 @@ +name: Github Pages + +on: [push, pull_request] + +concurrency: + group: "pages" + cancel-in-progress: false + +jobs: + build: + runs-on: ubuntu-latest + steps: + - name: Setup Pages + id: pages + uses: actions/configure-pages@v5 + + - name: Setup mdBook + uses: jontze/action-mdbook@v3 + with: + token: ${{secrets.GITHUB_TOKEN}} + use-mermaid: true + + - name: Setup Toml Cli + run: cargo install toml-cli + + - name: Checkout + uses: actions/checkout@v4 + + - name: Configure Site URL + run: toml set book.toml output.html.site-url "${{ steps.pages.outputs.base_path }}" + + - name: Build + run: mdbook build + + - name: Upload artifact + uses: actions/upload-pages-artifact@v3 + with: + path: book/ + + deploy: + runs-on: ubuntu-latest + needs: build + if: github.ref == 'refs/heads/master' + environment: + name: github-pages + url: ${{ steps.deployment.outputs.page_url }} + steps: + - name: Deploy to GitHub Pages + id: deployment + uses: actions/deploy-pages@v4