Skip to content

Comments

Fix directives being called too soon#57

Merged
santisoler merged 2 commits intomainfrom
fix-directives-called-soon
Oct 18, 2025
Merged

Fix directives being called too soon#57
santisoler merged 2 commits intomainfrom
fix-directives-called-soon

Conversation

@santisoler
Copy link
Member

Move the counter increase before the directives update, and only update directives when counter > 1: this way we don't run directives before the first minimization.

Move the counter increase before the directives update, and only update
directives when `counter > 1`: this way we don't run directives before
the first minimization.
@santisoler santisoler merged commit 1fdd972 into main Oct 18, 2025
2 checks passed
@santisoler santisoler deleted the fix-directives-called-soon branch October 18, 2025 00:09
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