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

Fix flake setup #4963

Merged
merged 3 commits into from
Mar 10, 2023
Merged

Fix flake setup #4963

merged 3 commits into from
Mar 10, 2023

Conversation

andreabedini
Copy link
Contributor

@andreabedini andreabedini commented Mar 10, 2023 •
edited
Loading

  • Remove cardano-ping from flake.nix since it does not exists anymore in network-mux. It is now part of cardano-cli (cardano-cli ping).
  • Re-add ouroboros-consensus-cardano-tools to the project to provide db-analyser db-synthesizer, which are part of the flake.

@andreabedini andreabedini changed the title cardano-ping is now cardano-cli ping Fix flake setup Mar 10, 2023
@andreabedini andreabedini self-assigned this Mar 10, 2023
angerman
angerman approved these changes Mar 10, 2023
View reviewed changes
Copy link
Contributor

@angerman angerman left a comment

Choose a reason for hiding this comment

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

LGTM

@andreabedini
cardano-ping is now cardano-cli ping
7af523f
@andreabedini
Re-add ouroboros-consensus-cardano-tools to the project
889697c 
ouroboros-consensus-cardano-tools provides db-analyser db-synthesizer
which are part of the flake.
@angerman angerman enabled auto-merge March 10, 2023 06:31
@angerman angerman added this pull request to the merge queue Mar 10, 2023
Merged via the queue into master with commit 2684e93 Mar 10, 2023
@iohk-bors iohk-bors bot deleted the andreabedini/patch-1 branch March 10, 2023 07:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@angerman angerman angerman approved these changes

@deepfire deepfire Awaiting requested review from deepfire

@mgmeier mgmeier Awaiting requested review from mgmeier

@fmaste fmaste Awaiting requested review from fmaste

@dcoutts dcoutts Awaiting requested review from dcoutts

@Jimbo4350 Jimbo4350 Awaiting requested review from Jimbo4350

@erikd erikd Awaiting requested review from erikd

@newhoggy newhoggy Awaiting requested review from newhoggy

@JaredCorduan JaredCorduan Awaiting requested review from JaredCorduan

@CarlosLopezDeLara CarlosLopezDeLara Awaiting requested review from CarlosLopezDeLara

Assignees

@andreabedini andreabedini

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@andreabedini @angerman