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.

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

Integrate cardano-ledger releases #1345

Merged
merged 8 commits into from
Dec 21, 2024
Merged

Integrate cardano-ledger releases #1345

merged 8 commits into from
Dec 21, 2024

Conversation

neilmayhew
Copy link
Contributor

Integrate the changes in new versions that cardano-ledger recently added to CHaP

@neilmayhew neilmayhew force-pushed the neilmayhew/integrate-ledger branch from 0212c01 to e562637 Compare December 18, 2024 21:25
@neilmayhew neilmayhew force-pushed the neilmayhew/integrate-ledger branch from e562637 to 7564107 Compare December 18, 2024 21:26
@neilmayhew neilmayhew marked this pull request as ready for review December 18, 2024 21:26
@neilmayhew neilmayhew force-pushed the neilmayhew/integrate-ledger branch 2 times, most recently from 9054f1a to e47f737 Compare December 18, 2024 23:14
Copy link
Contributor

@jasagredo jasagredo left a comment

Choose a reason for hiding this comment

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

I approve the PR, but please take care of the two comments I left.

ouroboros-consensus/ouroboros-consensus.cabal Outdated Show resolved Hide resolved
@lehins lehins force-pushed the neilmayhew/integrate-ledger branch from e47f737 to f0f4a7b Compare December 20, 2024 19:16
@lehins lehins enabled auto-merge December 20, 2024 19:17
@johnalotoski johnalotoski force-pushed the neilmayhew/integrate-ledger branch from f0f4a7b to 0d65a19 Compare December 21, 2024 23:06
@lehins lehins added this pull request to the merge queue Dec 21, 2024
Merged via the queue into main with commit a020b7b Dec 21, 2024
13 checks passed
@lehins lehins deleted the neilmayhew/integrate-ledger branch December 21, 2024 23:41
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