Skip to content

Fix pyk for downstream compatibility with kevm#2468

Merged
rv-jenkins merged 3 commits intomasterfrom
pyk-kevm-fixes
Mar 8, 2022
Merged

Fix pyk for downstream compatibility with kevm#2468
rv-jenkins merged 3 commits intomasterfrom
pyk-kevm-fixes

Conversation

@tothtamas28
Copy link
Copy Markdown
Contributor

No description provided.

Comment thread k-distribution/src/main/scripts/lib/pyk/pyk/kast.py
Comment thread k-distribution/src/main/scripts/lib/pyk/pyk/kast.py
Base automatically changed from pyk-package-setup to master March 7, 2022 15:10
@tothtamas28 tothtamas28 marked this pull request as ready for review March 8, 2022 10:46
@tothtamas28 tothtamas28 requested a review from ehildenb March 8, 2022 10:46
@rv-jenkins rv-jenkins merged commit b79ae56 into master Mar 8, 2022
@rv-jenkins rv-jenkins deleted the pyk-kevm-fixes branch March 8, 2022 13:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants