Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

build-args does not accept multiple args #108

Closed
Seasawher opened this issue Nov 12, 2024 · 1 comment · Fixed by #109
Closed

build-args does not accept multiple args #108

Seasawher opened this issue Nov 12, 2024 · 1 comment · Fixed by #109
Assignees
@austinletson
Labels
bug Something isn't working

Comments

@Seasawher
Copy link
Contributor

Describe the bug

Multiple args for build-args cases an error. for example:

      - name: lean action
        uses: leanprover/lean-action@v1
        with:
          build-args: "--log-level=warning --fail-level=warning"

Expected behavior
does not cause an error

Link to workflow where bug was encountered: [link]

Details

  • lean-action version: v1
  • GitHub runner: ubuntu-latest
@Seasawher Seasawher added the bug Something isn't working label Nov 12, 2024
@austinletson
Copy link
Collaborator

Thank you for the bug report. This needs to be fixed. I will look into this this weekend.

@austinletson austinletson self-assigned this Nov 14, 2024
@austinletson austinletson mentioned this issue Nov 16, 2024
Merged
@abdoo8080 abdoo8080 mentioned this issue Nov 22, 2024
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@austinletson austinletson

Labels
bug Something isn't working
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

fix: use eval to expand lake build arguments leanprover/lean-action
2 participants
@austinletson @Seasawher