Skip to content

Conversation

@GZGavinZhao
Copy link

@GZGavinZhao GZGavinZhao commented Jan 16, 2026

Fixes #150.

The implementation is the exact same as test-args in #135.

I do have one implementation concern. Right now the lint-args is naively appended to lake lint, but almost all the arguments I want to pass are to the linter driver, which is done through lake lint -- arg1 arg2.

It doesn't seem like lake lint takes any flags or arguments anyway judging from lake lint --help. Therefore, would it be reasonable to always add -- between lake lint and $LINT_ARGS so I don't have to write lint-args: "-- arg1 arg2" and can just write lint-args: "arg1 arg2"?

@GZGavinZhao GZGavinZhao force-pushed the gzgz/jj-vvunnulqpvnw branch 4 times, most recently from 11b09de to 5e9ff01 Compare January 16, 2026 03:19
@GZGavinZhao GZGavinZhao changed the title Introduce lint-args feat: add lint-args configuration input Jan 16, 2026
@GZGavinZhao GZGavinZhao marked this pull request as ready for review January 16, 2026 03:27
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.

Add a lint-args input analogous to test-args for linter arguments

1 participant