Skip to content

Fixup cabal repl Simplicity #297

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

Merged
merged 1 commit into from
May 28, 2025
Merged

Fixup cabal repl Simplicity #297

merged 1 commit into from
May 28, 2025

Conversation

roconnor-blockstream
Copy link
Collaborator

Recent refactoring in 1a4006c inserted txEnv.c into the wrong place. This caused cabal repl Simplicity to fail.

@roconnor-blockstream
Copy link
Collaborator Author

@apoelstra I don't really know a good way of running cabal repl Simplicity in your CI. So I'm inclined just to fix this on an ad hoc basis.

@delta1
Copy link
Contributor

delta1 commented May 22, 2025

Might be time for some github CI? I can take a look, what kind of test jobs should be run?

@roconnor-blockstream
Copy link
Collaborator Author

@apoelstra has in own CI in NixOS, whose details we should probably merge into this project itself.

@apoelstra
Copy link
Contributor

My local CI is pretty heavy. I'm not sure it's reasonable to merge into this project.

But if you want it it's here: https://github.com/apoelstra/local-nix-ci/blob/main/BlockstreamResearch.Simplicity.check-pr.nix

@delta1
Copy link
Contributor

delta1 commented May 23, 2025

Thanks I’ll take a look!

Recent refactoring in 1a4006c inserted txEnv.c into the wrong place.
This caused `cabal repl Simplicity` to fail.
@roconnor-blockstream
Copy link
Collaborator Author

rebased

@apoelstra
Copy link
Contributor

My local CI does not run cabal but do you want me to run it on this PR anyway?

@roconnor-blockstream
Copy link
Collaborator Author

Just to make sure I didn't somehow break something else.

Copy link
Contributor

@apoelstra apoelstra left a comment

Choose a reason for hiding this comment

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

ACK 89bbd57; successfully ran local tests

@roconnor-blockstream roconnor-blockstream merged commit 89bbd57 into master May 28, 2025
2 checks passed
@roconnor-blockstream roconnor-blockstream deleted the cabal-repl branch May 28, 2025 18:30
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