Skip to content

Simplify Application arguments#107

Merged
patritzenfeld merged 5 commits intomainfrom
simplify-run-args
Feb 4, 2026
Merged

Simplify Application arguments#107
patritzenfeld merged 5 commits intomainfrom
simplify-run-args

Conversation

@patritzenfeld
Copy link
Member

Now requires the task name and which file out of sample solution and normal submission to use.

@patritzenfeld patritzenfeld linked an issue Feb 4, 2026 that may be closed by this pull request
@github-actions

This comment has been minimized.

@github-actions

This comment has been minimized.

@patritzenfeld patritzenfeld merged commit 289359a into main Feb 4, 2026
17 checks passed
@patritzenfeld patritzenfeld deleted the simplify-run-args branch February 4, 2026 17:09
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.

Simplify task runner arguments

1 participant