Skip to content

Conversation

@bauersimon
Copy link
Member

@bauersimon bauersimon commented May 16, 2024

Rebased onto #120

@bauersimon bauersimon added the enhancement New feature or request label May 16, 2024
@bauersimon bauersimon added this to the v0.5.0 milestone May 16, 2024
@bauersimon bauersimon requested a review from Munsio May 16, 2024 10:59
@bauersimon bauersimon self-assigned this May 16, 2024
@bauersimon bauersimon force-pushed the 116-preload branch 2 times, most recently from 067ef1c to 6d5fde3 Compare May 16, 2024 11:28
Munsio
Munsio previously requested changes May 16, 2024
@bauersimon
Copy link
Member Author

@Munsio plz have another look... also added new tests (though that will change a bit with the changes from the other PR)

@bauersimon bauersimon requested review from zimmski and removed request for Munsio May 17, 2024 06:51
@bauersimon bauersimon mentioned this pull request May 17, 2024
45 tasks
@bauersimon bauersimon force-pushed the 116-preload branch 3 times, most recently from 211d836 to 2cfb18e Compare May 17, 2024 08:40
@ruiAzevedo19
Copy link
Contributor

@Munsio LGTM

@ruiAzevedo19 ruiAzevedo19 merged commit 32fdec6 into main May 23, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants