Skip to content

Conversation

@erikvansebille
Copy link
Member

This PR fixes #1625

@erikvansebille erikvansebille marked this pull request as ready for review August 1, 2024 11:12
@VeckoTheGecko VeckoTheGecko marked this pull request as draft August 9, 2024 08:49
@VeckoTheGecko
Copy link
Contributor

converting to draft until I've managed to take a look at refactoring the pset.execute() loop

@erikvansebille erikvansebille marked this pull request as ready for review February 10, 2025 15:26
@erikvansebille erikvansebille merged commit 8f9e9d4 into main Feb 10, 2025
11 of 13 checks passed
@erikvansebille erikvansebille deleted the pset_execute_time_management branch February 10, 2025 15:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

Smarter time management in pset.execute() loop

3 participants