search

leanprover / lean-action

GitHub action for standard CI in Lean projects
Apache License 2.0
14 stars 3 forks source link

Create `auto-config` input #60

Closed austinletson closed 2 months ago

austinletson commented 3 months ago

Create auto-config input to allow users to specify if lean-action should use the Lake workspace (or grep in some cases) to determine a configuration for lean-action.

Related: #30, #46, #53

This feature still needs to be fleshed out.

austinletson commented 3 months ago

I created #61 as a first draft of the auto-config input. I am open to any feedback on the semantics of the new auto-config and build inputs or the changes to the test input.