From 8f3554ca853c59d933f9cb56c4864e308fcec6f3 Mon Sep 17 00:00:00 2001 From: Ludovic Levalleux Date: Tue, 18 Nov 2025 12:27:16 +0000 Subject: [PATCH 1/3] Add Jekyll GitHub Pages deployment workflow This workflow automates the building and deployment of a Jekyll site to GitHub Pages, including steps for checking out the code, building the site, and deploying it. --- .github/workflows/jekyll-gh-pages.yml | 51 +++++++++++++++++++++++++++ 1 file changed, 51 insertions(+) create mode 100644 .github/workflows/jekyll-gh-pages.yml diff --git a/.github/workflows/jekyll-gh-pages.yml b/.github/workflows/jekyll-gh-pages.yml new file mode 100644 index 000000000..e31d81c58 --- /dev/null +++ b/.github/workflows/jekyll-gh-pages.yml @@ -0,0 +1,51 @@ +# Sample workflow for building and deploying a Jekyll site to GitHub Pages +name: Deploy Jekyll with GitHub Pages dependencies preinstalled + +on: + # Runs on pushes targeting the default branch + push: + branches: ["main"] + + # 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 + steps: + - name: Checkout + uses: actions/checkout@v4 + - name: Setup Pages + uses: actions/configure-pages@v5 + - name: Build with Jekyll + uses: actions/jekyll-build-pages@v1 + with: + source: ./ + destination: ./_site + - name: Upload artifact + uses: actions/upload-pages-artifact@v3 + + # Deployment job + 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@v4 From bab10a0182ad8c737f39e85adcc7d87757c84b03 Mon Sep 17 00:00:00 2001 From: Ludovic Levalleux Date: Tue, 18 Nov 2025 14:06:44 +0000 Subject: [PATCH 2/3] allow the workflow to run on PRs --- .github/workflows/jekyll-gh-pages.yml | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/.github/workflows/jekyll-gh-pages.yml b/.github/workflows/jekyll-gh-pages.yml index e31d81c58..caa5a2c0a 100644 --- a/.github/workflows/jekyll-gh-pages.yml +++ b/.github/workflows/jekyll-gh-pages.yml @@ -5,6 +5,10 @@ on: # Runs on pushes targeting the default branch push: branches: ["main"] + # Runs on pull requests targeting the default branch + pull_request: + branches: + - main # Allows you to run this workflow manually from the Actions tab workflow_dispatch: @@ -28,6 +32,9 @@ jobs: steps: - name: Checkout uses: actions/checkout@v4 + with: + ref: ${{ github.event.pull_request.head.ref }} + fetch-depth: 0 - name: Setup Pages uses: actions/configure-pages@v5 - name: Build with Jekyll From 76ade5b1e0dd0b9e6c53d5e9ef6d7f4bde6f548c Mon Sep 17 00:00:00 2001 From: Ludovic Levalleux Date: Tue, 18 Nov 2025 14:19:07 +0000 Subject: [PATCH 3/3] change jekyll source --- .github/workflows/jekyll-gh-pages.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/jekyll-gh-pages.yml b/.github/workflows/jekyll-gh-pages.yml index caa5a2c0a..43b2e9f2a 100644 --- a/.github/workflows/jekyll-gh-pages.yml +++ b/.github/workflows/jekyll-gh-pages.yml @@ -40,7 +40,7 @@ jobs: - name: Build with Jekyll uses: actions/jekyll-build-pages@v1 with: - source: ./ + source: ./docs destination: ./_site - name: Upload artifact uses: actions/upload-pages-artifact@v3