Merge branch 'ci/tools_fix'

Author: lucasssvaz

.github/scripts/upload_py_tools.sh

@@ -158,7 +158,15 @@ jobs:
           for tool in ${{ env.CHANGED_TOOLS }}; do
             cp -f ./${{ env.DISTPATH }}/$tool.exe tools/$tool.exe
           done
-          bash .github/scripts/upload_py_tools.sh "${{ env.CHANGED_TOOLS }}"
+
+          echo "Pushing '${{ env.CHANGED_TOOLS }}' as github-actions[bot]"
+          git config --global user.name "github-actions[bot]"
+          git config --global user.email "41898282+github-actions[bot]@users.noreply.github.com"
+          for tool in ${{ env.CHANGED_TOOLS }}; do
+            git add tools/$tool.exe
+          done
+          git commit -m "change(tools): Push generated tools binaries"
+          git push
 
       - name: Archive artifact
         uses: actions/upload-artifact@master