Skip to content

Add budget raise cli arg to local-server - #182

Open
TotallyNotChase wants to merge 2 commits into
mlabs-haskell:masterfrom
TotallyNotChase:budget-arg
Open

Add budget raise cli arg to local-server#182
TotallyNotChase wants to merge 2 commits into
mlabs-haskell:masterfrom
TotallyNotChase:budget-arg

Conversation

@TotallyNotChase

Copy link
Copy Markdown
Contributor

No description provided.

@zmrocze

zmrocze commented Dec 12, 2023

Copy link
Copy Markdown
Contributor

@euonymos This is unmerged. Could be if someone needs it, why not. Then the change should be propagated to ctl, they have something like ExtraConfig i think?

@euonymos

euonymos commented Dec 13, 2023

Copy link
Copy Markdown
Contributor

This branch comes from our Atlas <> Plutip integration effort we did in the scope of Metera project. I didn't dig into that, but we have plans to open-source it (currently it's not). So yes, let's keep it.

UPDATE: all new options have defaults (one is a flag and the other comes with a default value). So we need only to update the docs.

@euonymos euonymos left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Please add descriptions for added parameters to docs.

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.

3 participants