Skip to content
This repository has been archived by the owner on Aug 27, 2024. It is now read-only.

Batching branch #5

Merged
merged 2 commits into from
Aug 17, 2023
Merged

Batching branch #5

merged 2 commits into from
Aug 17, 2023

Conversation

AlexArtrip
Copy link
Collaborator

Looks kind of messy commit-wise. I think I didn't do the full sequence with rebase-pull properly because I ended up having to do a bunch of merging anyway.

@maxyu1115
Copy link
Collaborator

Closes #4

@maxyu1115 maxyu1115 linked an issue Aug 17, 2023 that may be closed by this pull request
@maxyu1115 maxyu1115 merged commit 095512c into main Aug 17, 2023
1 check passed
@maxyu1115 maxyu1115 deleted the Batching-Branch branch August 17, 2023 06:13
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Speed up remember speeds through batching
2 participants