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

Do not build the plutus executable if GHC <9.6 #5940

Merged
merged 1 commit into from
Apr 30, 2024
Merged

Conversation

zliu41
Copy link
Member

@zliu41 zliu41 commented Apr 30, 2024

@zliu41 zliu41 added the No Changelog Required Add this to skip the Changelog Check label Apr 30, 2024
@zliu41 zliu41 requested a review from bezirg April 30, 2024 22:08
@zliu41 zliu41 merged commit d319fe5 into master Apr 30, 2024
1 of 2 checks passed
@zliu41 zliu41 deleted the zliu41/plutus branch April 30, 2024 22:25
@bezirg
Copy link
Contributor

bezirg commented May 1, 2024

Thanks, I didn't know. I will look if there is a solution to this, but most likely there isn't.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
No Changelog Required Add this to skip the Changelog Check
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants