Skip to content

Conversation

@Godin
Copy link
Member

@Godin Godin commented Jul 30, 2024

Otherwise it changes file extensions.

Fixes #1656

Alternatives are

  • change it to handle extensions separately/explicitly
  • or change its consumers to append extension after it

@Godin Godin added this to the 0.8.13 milestone Jul 30, 2024
@Godin Godin self-assigned this Jul 30, 2024
@Godin
Copy link
Member Author

Godin commented Aug 4, 2024

@marchof could you please review? imo the only missing thing here is an update of changelog, so maybe you have an idea of how this fix can be concisely described in it?

@Godin Godin added the type: bug 🐛 Something isn't working label Aug 5, 2024
@marchof
Copy link
Member

marchof commented Aug 12, 2024

@Godin What about this:

Preserve file extensions in HTML report in case of file name clashes.

Otherwise it changes file extensions.
@Godin
Copy link
Member Author

Godin commented Aug 12, 2024

@marchof Thank you for the idea! ❤️ I added slightly modified version of it into changelog.

@Godin Godin marked this pull request as ready for review August 12, 2024 10:26
@Godin Godin enabled auto-merge (squash) August 12, 2024 10:27
@Godin Godin merged commit d867bbc into jacoco:master Aug 12, 2024
@Godin Godin deleted the issue-1656 branch August 12, 2024 10:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

Development

Successfully merging this pull request may close these issues.

Unabled to read report because tilde is attached to the extension

2 participants