Skip to content

[FEATURE] Add --memory-limit CLI option and drop unused skip configuration#411

Merged
simonschaufi merged 1 commit into
mainfrom
memory-limit
Jun 26, 2026
Merged

[FEATURE] Add --memory-limit CLI option and drop unused skip configuration#411
simonschaufi merged 1 commit into
mainfrom
memory-limit

Conversation

@simonschaufi

Copy link
Copy Markdown
Collaborator

No description provided.

@simonschaufi simonschaufi merged commit 6112d80 into main Jun 26, 2026
36 checks passed
@simonschaufi simonschaufi deleted the memory-limit branch June 26, 2026 22:55
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.

1 participant