From aa6b84b8fc84913cbce596ec8b8e57f4c79f597a Mon Sep 17 00:00:00 2001
From: raychew <chew@iau.uni-frankfurt.de>
Date: Sat, 23 Mar 2024 19:44:12 +0100
Subject: [PATCH] deploy.yml: does this work now? Previous script cannot be
 picked up by runner

---
 .github/workflows/deploy.yml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
index 4e657914..e94ed040 100644
--- a/.github/workflows/deploy.yml
+++ b/.github/workflows/deploy.yml
@@ -7,7 +7,9 @@ permissions:
 
 jobs:
   get-runner:
-    runs-on: ubuntu-latest
+    name: get a runner to use for this workflow
+    if: ${{ always() }}
+    runs-on: custom-runner
     outputs:
      RUNNER: ${{ runner.name }}
     steps:
@@ -33,6 +35,7 @@ jobs:
     needs: prepare
     runs-on: ${{needs.prepare.outputs.RUNNER}}
     steps:
+      - uses: actions/checkout@v3
       - name: Sphinx build
         run: |
           sphinx-build docs/source _build