Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
[wip] Optimize CI for zokrates.js #558
This PR uses the first solution proposed above. If proposed solution is accepted, we should push environment image to official zokrates dockerhub account.