add linting dispatch workflow

small changes to update dispatch workflow

Author: martenson

.github/workflows/dispatch_lint.yml

@@ -0,0 +1,41 @@
+name: Tool linting
+
+on:
+  workflow_dispatch:
+    inputs:
+      instance:
+        description: 'Galaxy Instance URL'
+        required: true
+        type: choice
+        options:
+        - galaxy-qa1.galaxy.cloud.e-infra.cz
+        - usegalaxy.cz
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    strategy:
+      matrix:
+        python-version: [3.11]
+    steps:
+      - uses: actions/checkout@v4
+        with:
+          fetch-depth: 0
+      - name: Set up Python ${{ matrix.python-version }}
+        uses: actions/setup-python@v5
+        with:
+          python-version: ${{ matrix.python-version }}
+      - name: Cache downloads
+        uses: actions/cache@v4
+        with:
+          path: ~/.cache/pip
+          key: cache-${{ matrix.python-version }}
+      - name: Install dependencies
+        run: |
+          python -m pip install --upgrade pip
+          if [ -f requirements.txt ]; then pip install -r requirements.txt; fi
+      - name: Perform linting
+        run: |
+          make INSTANCE=$INSTANCE lint
+        env:
+          INSTANCE: ${{ inputs.instance }}

.github/workflows/dispatch_update.yml

@@ -44,22 +44,14 @@ jobs:
             make INSTANCE=$INSTANCE update-all
         env:
           INSTANCE: ${{ inputs.instance }}
-      # - name: Commit files
-      #   run: |
-      #     git config --local user.email "github-bot@github.com"
-      #     git config --local user.name "github-actions[bot]"
-      #     git add *.lock
-      #     git commit -m "Updated all tools of $INSTANCE" || true
-      #   env:
-      #     INSTANCE: ${{ inputs.instance }}
       - name: Set output variables
         id: vars
         run: |
           pr_title="Update all tools of $INSTANCE"
           {
             echo "pr_title=$pr_title"
             echo "pr_body<<EOF"
-            echo "ran the following:"
+            echo "I ran the following:"
             echo "- make INSTANCE=$INSTANCE lint"
             echo "- make INSTANCE=$INSTANCE fix"
             echo "- make INSTANCE=$INSTANCE update-all"