Skip to content

feat: improve background runners and other stuff#157

Merged
mgalves merged 7 commits intomainfrom
2025-01-improve-background-runners
Jan 31, 2025
Merged

feat: improve background runners and other stuff#157
mgalves merged 7 commits intomainfrom
2025-01-improve-background-runners

Conversation

@arcstur
Copy link
Member

@arcstur arcstur commented Jan 28, 2025

No description provided.

@mgalves mgalves merged commit 559c769 into main Jan 31, 2025
2 checks passed
@arcstur arcstur deleted the 2025-01-improve-background-runners branch February 5, 2025 11:51
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.

increase number of workers to run multiple batches feat: refresh page when batch is done (reload button and command list)

2 participants