Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

chore: rename TAPCollector to GraphTallyCollector #1106

Merged
merged 2 commits into from
Feb 11, 2025
Merged

Conversation

tmigone
Copy link
Contributor

@tmigone tmigone commented Feb 11, 2025

No description provided.

Signed-off-by: Tomás Migone <tomas@edgeandnode.com>
@tmigone tmigone requested a review from Maikol February 11, 2025 15:13
Signed-off-by: Tomás Migone <tomas@edgeandnode.com>
Copy link

openzeppelin-code bot commented Feb 11, 2025

chore: rename TAPCollector to GraphTallyCollector

Generated at commit: 94d541a5a2a96d8b87afd141b32a39a097164093

🚨 Report Summary

Severity Level Results
Contracts Critical
High
Medium
Low
Note
Total
2
4
0
15
39
60
Dependencies Critical
High
Medium
Low
Note
Total
0
0
0
0
0
0

For more details view the full report in OpenZeppelin Code Inspector

@tmigone tmigone merged commit 010277e into horizon Feb 11, 2025
5 checks passed
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.

2 participants