-
Notifications
You must be signed in to change notification settings - Fork 87
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.
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
readme: edits #2859
readme: edits #2859
Conversation
README.md
Outdated
<details> | ||
<summary> | ||
Consensus test components. | ||
</summary> |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I like this!
I was recently thinking: is this list of commands even useful to have here, I'm not sure we even maintain it. Personally, I wouldn't mind if it were deleted, but others might disagree.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I don't mind removing both lists.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I don't think anybody of us is regularly using nix-build
, it's quite likely that things has changed since these commands where written in the README.md
file.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Yep, I agree. This seems especially sound if running these via cabal
inside of nix-shell
is close enough to indistinguishable from running them via nix-build
. I would think so, except maybe for things like what kind of file handle stdin
is (termtype etc). Likely fine.
Experiment with <details> and <summary> tags. Include all demo applications.
bors merge |
Build succeeded: |
Experiment with
tags. Include all demo applications.