leanprover / lean-action

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

fix: use `eval` to expand `lake build` arguments #109

Closed austinletson closed 1 week ago

austinletson commented 2 weeks ago

Fix the lake_build.sh script to expand the arguments to lake build with the eval command.

Previously, passing multiple arguments to lake build via the build-args configuration input caused errors because the lake_build.sh script passed all the arguments as one string.

Add functional test for build-args input with case for single and multiple arguments to lake build.

Closes #108