ci: add debug-with-ssh-only-jobs-matching

.github/workflows/build.yml

@@ -42,6 +42,10 @@ on:
         description: "Limit access to the SSH session to the GitHub user that triggered the job."
         default: true
         type: boolean
+      debug-with-ssh-only-jobs-matching:
+        description: "Only start an SSH session for jobs matching this regex pattern:"
+        default: ".*"
+        type: string
 
 
 defaults:
@@ -217,10 +221,15 @@ jobs:
       if: always()
       run: |
         set -eu
+        job_filter_pattern="${{ inputs.debug-with-ssh-only-jobs-matching }}"
+        echo "job_filter: $job_filter_pattern"
+
+        job_info=$(echo "$GITHUB_JOB ${{ runner.os }} java-${{ matrix.java }}" | tr -d '\n')
+        echo "job_info: $job_info"
 
         when="${{ inputs.debug-with-ssh }}"
 
-        if [[ $when == "always" ]] || case "${{ job.status }}" in
+        if [[ $when == "always" ]] || [[ "$job_info" =~ .*$job_filter_pattern.* ]] && case "${{ job.status }}" in
           success)   [[ $when == "always" ]] ;;
           cancelled) [[ $when == "on_failure_or_cancelled" ]] ;;
           failure)   [[ $when == "on_failure"* ]] ;;