From 0930a9d3f4df086d33b08c1f8e3f0a2a32990d27 Mon Sep 17 00:00:00 2001 From: Damiano Oldoni Date: Mon, 26 Oct 2026 15:54:27 +0100 Subject: [PATCH 1/2] Deploy GitHub Pages from main Update the deployment workflow to trigger on pushes to `main` instead of `master`. --- .github/workflows/deploy-gh-pages.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/deploy-gh-pages.yml b/.github/workflows/deploy-gh-pages.yml index 919a3d8a8..e7aacf7eb 100644 --- a/.github/workflows/deploy-gh-pages.yml +++ b/.github/workflows/deploy-gh-pages.yml @@ -3,7 +3,7 @@ name: Build the site and deploy to GitHub pages on: push: branches: - - master + - main jobs: build-and-deploy: From 297b451b33c6b88c467c2c6124433b17575ee15e Mon Sep 17 00:00:00 2001 From: Damiano Oldoni Date: Mon, 26 Oct 2026 16:00:23 +0100 Subject: [PATCH 2/2] Add workflow dispatch --- .github/workflows/deploy-gh-pages.yml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/workflows/deploy-gh-pages.yml b/.github/workflows/deploy-gh-pages.yml index e7aacf7eb..2f11febcc 100644 --- a/.github/workflows/deploy-gh-pages.yml +++ b/.github/workflows/deploy-gh-pages.yml @@ -4,6 +4,8 @@ on: push: branches: - main + # Enable manual triggering + workflow_dispatch: jobs: build-and-deploy: