From e2586df0a89b7f7006f0d151c4ec7b75e14b8c88 Mon Sep 17 00:00:00 2001
From: paulzierep <paul.zierep@googlemail.com>
Date: Tue, 28 Nov 2023 12:07:22 +0100
Subject: [PATCH] update CI

---
 .github/workflows/fetch_all_tools.yaml | 5 ++++-
 bin/extract_all_tools.sh               | 0
 2 files changed, 4 insertions(+), 1 deletion(-)
 mode change 100644 => 100755 bin/extract_all_tools.sh

diff --git a/.github/workflows/fetch_all_tools.yaml b/.github/workflows/fetch_all_tools.yaml
index 207cf340..c7aba225 100644
--- a/.github/workflows/fetch_all_tools.yaml
+++ b/.github/workflows/fetch_all_tools.yaml
@@ -30,15 +30,18 @@ jobs:
     steps:
     - uses: actions/checkout@v3
     - uses: actions/setup-python@v4
+      with:
+        python-version: ${{ matrix.python-version }}
     - name: Install requirement
       run: python -m pip install -r requirements.txt
     - name: Run script
       # run: bash bin/extract_all_tools.sh
       run: | 
+        'ls -la'
         'bash ./bin/extract_all_tools.sh "${{ matrix.subset }}"'
       env:
         GITHUB_API_KEY:  ${{ secrets.GITHUB_TOKEN }}
-    - name: Commit all tools
+    - name: Commit all tools 
       run: |
         git config user.name github-actions
         git config user.email github-actions@github.com
diff --git a/bin/extract_all_tools.sh b/bin/extract_all_tools.sh
old mode 100644
new mode 100755