.github/test-pr: remove job.run-name

ehildenb · ehildenb · commit 932e8674e6d0 · 2024-06-27T16:54:10.000Z
diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml
@@ -104,7 +104,6 @@ jobs:
 
   test-prove:
     name: 'Proofs: ${{ matrix.name }}'
-    run-name: 'Proofs: ${{ matrix.name }}'
     needs: kevm-pyk-code-quality-checks
     runs-on: [self-hosted, linux, fast]
     strategy:
