Skip to content

Fix libsnark build script#1084

Merged
Schaeff merged 8 commits intodevelopfrom
update-git2
Jan 12, 2022
Merged

Fix libsnark build script#1084
Schaeff merged 8 commits intodevelopfrom
update-git2

Conversation

@dark64
Copy link
Copy Markdown
Member

@dark64 dark64 commented Jan 11, 2022

No description provided.

@dark64 dark64 marked this pull request as draft January 11, 2022 11:50
@dark64 dark64 force-pushed the update-git2 branch 2 times, most recently from 9e51084 to 638fd77 Compare January 12, 2022 08:41
Comment thread .circleci/config.yml
Comment thread zokrates_core/build.rs
@dark64 dark64 changed the title Update git2 dependency Fix libsnark build script Jan 12, 2022
@dark64 dark64 requested a review from Schaeff January 12, 2022 10:16
@dark64 dark64 marked this pull request as ready for review January 12, 2022 10:16
@Schaeff Schaeff merged commit 90e5652 into develop Jan 12, 2022
@Schaeff Schaeff deleted the update-git2 branch January 12, 2022 15:19
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.

2 participants