more consistent naming

Signed-off-by: Ignacio Hagopian <jsign.uy@gmail.com>

Author: jsign

.github/workflows/integration-tests.yml

@@ -42,7 +42,7 @@ jobs:
           fi
 
   stateless-validator:
-    name: "${{ matrix.test-type == 'mainnet' && format('Mainnet {0}', matrix.zkvm) || format('EEST {0} / {1}', matrix.zkvm, matrix.action) }}"
+    name: "${{ format('{0} {1} / {2}', matrix.test-type == 'mainnet' && 'Mainnet' || 'EEST', matrix.zkvm, matrix.action) }}"
     runs-on: ${{ matrix.test-type == 'mainnet' && fromJSON('["self-hosted-ghr", "size-xl-x64"]') || 'ubuntu-latest' }}
     strategy:
       fail-fast: false
@@ -134,7 +134,6 @@ jobs:
   empty-program:
     name: "Empty Program (${{ matrix.zkvm }} / ${{ matrix.action }})"
     runs-on: ubuntu-latest
-    needs: witness-generator
     strategy:
       fail-fast: false
       matrix: