Rename test-stages, improve parallel parameterization #2507
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Pulled out of: #2504
The goal here is to make it so that the profo test names are more stable across changes. Currently, the test parameters in the matrix are included in the names, which means that adjusting timeouts and such requires an update to the required status checks. Also currently, the status check names are really long, and all start with "Test PR / Build and Test KEVM ...", which means that the text runs out of the little display window we get for the names.
This PR:
Adjusts the test names to be shorter and more descriptive, and not contain test parameter information.
Parameterizes the proof tests in how many parallel executions to run.
TODO Update required status checks.