Skip to content

Conversation

@lrvideckis
Copy link
Member

No description provided.

@lrvideckis lrvideckis merged commit a9ee2fa into dev Oct 18, 2024
0 of 9 checks passed
@lrvideckis lrvideckis deleted the ladder_optimization branch October 18, 2024 01:24
lrvideckis added a commit that referenced this pull request Oct 18, 2024
lrvideckis added a commit that referenced this pull request Oct 19, 2024
lrvideckis added a commit that referenced this pull request Oct 19, 2024
* Reapply "Ladder optimization (#83)"

This reverts commit c0fa4a0.

* [auto-verifier] verify commit d089579

* saving progress

* [auto-verifier] verify commit 30c5733

* different style

* final

* add comment

---------

Co-authored-by: GitHub <noreply@github.com>
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.

3 participants