Skip to content

Update trophies and usage#24

Merged
ligurio merged 2 commits intomasterfrom
ligurio/gh-xxxx-update-doc
Mar 20, 2025
Merged

Update trophies and usage#24
ligurio merged 2 commits intomasterfrom
ligurio/gh-xxxx-update-doc

Conversation

@ligurio
Copy link
Copy Markdown
Owner

@ligurio ligurio commented Mar 20, 2025

No description provided.

ligurio added 2 commits March 20, 2025 15:36
The page with trophies has been updated:

- The statuses have been removed.
- Added two additional bugs.
The Lua mutator has been removed in commit 45231c6
("mutator: get rid of custom libFuzzer mutator"). The patch drops
an excess description for it.
@ligurio ligurio force-pushed the ligurio/gh-xxxx-update-doc branch from 791f0ab to 567d27d Compare March 20, 2025 12:36
@ligurio ligurio merged commit e39cef7 into master Mar 20, 2025
7 checks passed
@ligurio ligurio deleted the ligurio/gh-xxxx-update-doc branch March 20, 2025 13:54
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.

1 participant