Skip to content

fix: reduce html class names to their first letters#1404

Merged
elopez merged 2 commits intocrytic:masterfrom
divyaranjan1905:master
Jul 23, 2025
Merged

fix: reduce html class names to their first letters#1404
elopez merged 2 commits intocrytic:masterfrom
divyaranjan1905:master

Conversation

@divyaranjan1905
Copy link
Copy Markdown
Contributor

Fixes #1337

I didn't find a way to test this, so please tell me how I can ensure that indeed this is working as expected. Though since it's mostly a few strings changed, it should just work as intended.

Regards,

Divya.

@divyaranjan1905 divyaranjan1905 requested a review from arcz as a code owner July 23, 2025 12:57
@CLAassistant
Copy link
Copy Markdown

CLAassistant commented Jul 23, 2025

CLA assistant check
All committers have signed the CLA.

@elopez
Copy link
Copy Markdown
Member

elopez commented Jul 23, 2025

hi, thanks for the contribution! could we add something (a few comments maybe) to keep the meaning that corresponds to each class visible?

@divyaranjan1905
Copy link
Copy Markdown
Contributor Author

Hello @elopez , just added some comments. Hopefully that works :)

Copy link
Copy Markdown
Member

@elopez elopez left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

@elopez elopez merged commit ef5ba26 into crytic:master Jul 23, 2025
19 checks passed
datradito pushed a commit to datradito/echidna-mcp that referenced this pull request Dec 29, 2025
fix: reduce html class names to their first letters
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Reduce HTML coverage size by compressing class names

4 participants