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

Misc Michelson backend work #274

Merged
merged 11 commits into from Jan 2, 2020
Merged

Misc Michelson backend work #274

merged 11 commits into from Jan 2, 2020

Conversation

@cwgoes
Copy link
Collaborator

cwgoes commented Dec 27, 2019

Further progress here is blocked on #266.

@cwgoes cwgoes marked this pull request as ready for review Jan 2, 2020
@cwgoes cwgoes merged commit 5d9f333 into develop Jan 2, 2020
1 check was pending
1 check was pending
ci/circleci: setup_dependencies CircleCI is running your tests
Details
@cwgoes cwgoes deleted the cwgoes/michelson-backend-ctd branch Jan 2, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked issues

Successfully merging this pull request may close these issues.

None yet

1 participant
You can’t perform that action at this time.