From 32e2d47f1236c127c91fdd4622885cde67d936f1 Mon Sep 17 00:00:00 2001
From: Marcello Perathoner <marcello@perathoner.de>
Date: Sun, 8 Sep 2024 12:49:01 +0200
Subject: [PATCH] fix workflow

---
 .github/workflows/publish-docs.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/publish-docs.yml b/.github/workflows/publish-docs.yml
index 96b25d7..ab12051 100644
--- a/.github/workflows/publish-docs.yml
+++ b/.github/workflows/publish-docs.yml
@@ -4,6 +4,8 @@ on: push
 
 jobs:
   build:
+    runs-on: ubuntu-latest
+
     steps:
       - name: Checkout
         uses: actions/checkout@v4
@@ -32,7 +34,6 @@ jobs:
       name: github-pages
       url: ${{ steps.deployment.outputs.page_url }}
 
-    # Specify runner + deployment step
     runs-on: ubuntu-latest
 
     steps: