Skip to content

Conversation

@carlostome
Copy link
Collaborator

@carlostome carlostome commented Oct 31, 2025

Description

This PR adds cardano-ledger-executable-spec to the flake.nix

Checklist

  • Commit sequence broadly makes sense and commits have useful messages
  • Any semantic changes to the specifications are documented in CHANGELOG.md
  • Code is formatted according to CONTRIBUTING.md
  • Self-reviewed the diff

@carlostome carlostome force-pushed the carlos/cardano-ledger-exectuable-spec-in-flake branch from 2d7f753 to 3c8b2db Compare November 3, 2025 13:06
@carlostome carlostome force-pushed the carlos/cardano-ledger-exectuable-spec-in-flake branch from 3c8b2db to f3e5f5d Compare November 3, 2025 13:07
Copy link
Member

@williamdemeo williamdemeo left a comment

Choose a reason for hiding this comment

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

Looks good. Btw, should we have flake.lock in the repo?

@carlostome
Copy link
Collaborator Author

Btw, should we have flake.lock in the repo?

Yes, since it pins the dependencies (nixpkgs, agda.nix, etc)

@carlostome carlostome merged commit 149cf85 into master Nov 3, 2025
14 checks passed
@carlostome carlostome deleted the carlos/cardano-ledger-exectuable-spec-in-flake branch November 3, 2025 16:18
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.

2 participants