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

fix: remove deprecated hardhat configs #1024

Closed
wants to merge 1 commit into from

Conversation

bowenli86
Copy link
Member

@bowenli86 bowenli86 commented Jan 13, 2025

remove hardhat which has long been deprecated and not used in the repo

@0xClandestine 0xClandestine changed the base branch from slashing-magnitudes-fixes to dev February 11, 2025 14:26
@0xClandestine 0xClandestine changed the base branch from dev to slashing-magnitudes-fixes February 11, 2025 14:26
Copy link
Member

@0xClandestine 0xClandestine left a comment

Choose a reason for hiding this comment

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

Can we cherry-pick to a branch targeting dev? Sorry for the trouble, looks good otherwise!

@bowenli86
Copy link
Member Author

remove hardhat which has long been deprecated and not used in the repo

@0xClandestine thanks, moved to #1090

@bowenli86 bowenli86 closed this Feb 12, 2025
@0xClandestine 0xClandestine deleted the hardhat branch February 13, 2025 16:17
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