.github/test-pr: specify job name to avoid renaming on parameter changes

Author: ehildenb

.github/workflows/test-pr.yml

@@ -103,30 +103,36 @@ jobs:
           docker stop --time=0 kevm-ci-concrete-${{ github.sha }}
 
   test-prove:
-    name: 'Build and Test KEVM proofs'
+    name: 'Proofs: ${{ matrix.name }}'
+    run-name: 'Proofs: ${{ matrix.name }}'
     needs: kevm-pyk-code-quality-checks
     runs-on: [self-hosted, linux, fast]
     strategy:
       fail-fast: false
       matrix:
         include:
-          - test-suite: 'test-prove-rules'
+          - name: 'Rules (booster)'
+            test-suite: 'test-prove-rules'
             test-args:
             timeout: 100
             parallel: 8
-          - test-suite: 'test-prove-rules'
+          - name: 'Rules (booster-dev)'
+            test-suite: 'test-prove-rules'
             test-args: '--use-booster-dev'
             timeout: 45
             parallel: 8
-          - test-suite: 'test-prove-functional'
+          - name: 'Functional'
+            test-suite: 'test-prove-functional'
             test-args:
             timeout: 45
             parallel: 4
-          - test-suite: 'test-prove-optimizations'
+          - name: 'Optimizations'
+            test-suite: 'test-prove-optimizations'
             test-args:
             timeout: 45
             parallel: 1
-          - test-suite: 'test-prove-dss'
+          - name: 'DSS'
+            test-suite: 'test-prove-dss'
             test-args:
             timeout: 45
             parallel: 1