From 7604d0d4cfed0ea89d5904365b1ffc9a7e9540ea Mon Sep 17 00:00:00 2001
From: paulzierep <paul.zierep@googlemail.com>
Date: Mon, 10 Jun 2024 17:07:07 +0200
Subject: [PATCH] Update fetch_all_tools.yaml

---
 .github/workflows/fetch_all_tools.yaml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/fetch_all_tools.yaml b/.github/workflows/fetch_all_tools.yaml
index 22483873..218b3dfc 100644
--- a/.github/workflows/fetch_all_tools.yaml
+++ b/.github/workflows/fetch_all_tools.yaml
@@ -20,6 +20,8 @@ jobs:
     runs-on: ubuntu-20.04
     name: Fetch list of all available servers
     steps:
+      - uses: actions/checkout@v4
+      - uses: actions/setup-python@v5
       - name: Install requirement
         run: python -m pip install -r requirements.txt
       - name: Run script