From 1d2f76c3e7d82fae63944af3d9b38a4358804d9d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Armin=20T=C3=A4nzer?= <armin.taenzer@tngtech.com>
Date: Fri, 9 Jan 2026 16:43:56 +0100
Subject: [PATCH] update actions/deploy-pages to v4
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

* This hopefully fixes the GitHub actions workflow that currently doesn't find the correct url.

Signed-off-by: Armin Tänzer <armin.taenzer@tngtech.com>
---
 .github/workflows/docs.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index be0d749b1..46dc4157a 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -7,6 +7,7 @@ on:
   push:
     branches:
       - main
+  workflow_dispatch:
 
 permissions:
   contents: read
@@ -44,4 +45,4 @@ jobs:
     steps:
       - id: deployment
         name: Deploy docs to GitHub pages
-        uses: actions/deploy-pages@v2
+        uses: actions/deploy-pages@v4