Skip to content

Conversation

@GitPaean
Copy link
Member

@GitPaean GitPaean commented Nov 7, 2025

so it is related to the FILENAME better.

not sure whether it is helpful.

when looking at the regression failures, sometimes it is not easy to relate the case name to the actual filenames, while this PR might change more than the cases that the CASENAME is totally not related to the actual FILENAME.

maybe some more systematic change should be suggested?

@GitPaean GitPaean added the manual:irrelevant This PR is a minor fix and should not appear in the manual label Nov 7, 2025
@GitPaean
Copy link
Member Author

GitPaean commented Nov 7, 2025

jenkins build this please

@GitPaean GitPaean force-pushed the renaming_some_regression_case_name branch from 648fcc6 to ae548ed Compare November 7, 2025 11:01
so it is related to the FILENAME better.
@GitPaean
Copy link
Member Author

GitPaean commented Nov 7, 2025

jenkins build this please

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

manual:irrelevant This PR is a minor fix and should not appear in the manual

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant