Skip to content

Replaces this repo with new-snarkyjs from monorepo#2

Merged
MartinMinkov merged 46 commits intomasterfrom
new-snarkyjs
Oct 13, 2021
Merged

Replaces this repo with new-snarkyjs from monorepo#2
MartinMinkov merged 46 commits intomasterfrom
new-snarkyjs

Conversation

@bkase
Copy link
Contributor

@bkase bkase commented Sep 2, 2021

This is a port from the monorepo with a GitHub action for CI

For reviewers -- you can focus on the "adds github action" commit, the other commits are just removing files and adding files from the monorepo

@bkase bkase marked this pull request as ready for review September 2, 2021 11:30
@bkase bkase changed the title Replaces this repo with new-snarkyjs from Replaces this repo with new-snarkyjs from monorepo Sep 2, 2021
Copy link
Contributor

@jasongitmail jasongitmail left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Some thoughts:

  • on: [push, pull_request] would allow this to run when a PR is proposed too
  • Should we run tests in this action too?
  • Now that this isn't on the monorepo, Yarn isn't needed. What do you think about using NPM for consistency? It's NBD either way. But since NPM caught up & exceeded Yarn in speed, I'm not sure if there is any advantage to remaining with Yarn.
    Edit: it looks like we have package-lock.json in the repo, so we should use NPM in that case. We can use npm ci during install in that case.

@bkase
Copy link
Contributor Author

bkase commented Sep 2, 2021

We should run tests when they pass (but currently they don't 😄 , this should be fixed when @mrmr1993 handles the node side)

with:
node-version: '14'
cache: 'yarn'
- run: npm install
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

We should use npm ci instead of npm install. It will install the versions shown in package-lock.json (for consistency) & will be faster.

@MartinMinkov MartinMinkov merged commit a15e1d2 into master Oct 13, 2021
@mitschabaude mitschabaude deleted the new-snarkyjs branch May 9, 2022 14:26
mitschabaude added a commit that referenced this pull request Sep 5, 2023
mitschabaude pushed a commit that referenced this pull request Sep 5, 2023
mitschabaude added a commit that referenced this pull request Sep 5, 2023
Rebrand to o1js in snarkyjs repo (code)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

4 participants