Skip to content

Conversation

Wollac
Copy link
Contributor

@Wollac Wollac commented May 5, 2025

This fixes an error, where the log_filters where not merged.
Changes the API to allow for compile-time safety.

@Wollac Wollac requested a review from a team as a code owner May 5, 2025 22:48
@github-actions github-actions bot changed the title fix: Replace HostEvmEnv::extend with merge WEB3-431: fix: Replace HostEvmEnv::extend with merge May 5, 2025
@Wollac Wollac enabled auto-merge (squash) May 12, 2025 17:45
@Wollac Wollac merged commit 75f7097 into main May 12, 2025
10 of 11 checks passed
@Wollac Wollac deleted the fix/V-STL-VUL-001 branch May 12, 2025 17:56
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