feat: public params artifact #55
Conversation
|
Added a bit more here: serialize the But won't work until changes are made in |
Using Personal Access Token to clone pluto/web-prover
|
Github CI working (as seen here), but failing for other reasons here. Should just work in main. |
|
Not sure why I had to deal with that conflict when I pushed up a change right before it. Sometimes I'm so dumb with git I swear |
|
Want to merge in https://github.com/pluto/web-prover/pull/331 prior to merging this and then pin to the correct commit for |
|
You can pull them up yourself if you go to the action |
| # Create artifacts directories | ||
| $(shell mkdir -p $(addsuffix /artifacts,$(TARGET_DIRS))) | ||
|
|
||
| # Default target | ||
| .PHONY: all clean | ||
| all: build | ||
| all: buildmak |
There was a problem hiding this comment.
is this a typo? can't run this in local
There was a problem hiding this comment.
yes a typo oops
| @@ -0,0 +1,9 @@ | |||
| [package] | |||
| name = "create-pp" | |||
There was a problem hiding this comment.
minor nit but package name needs some love =D
There was a problem hiding this comment.
lol what do you suggest? Go ahead and edit it if you want!
WIP.
AuxParamsinweb-proverWaiting on https://github.com/pluto/web-prover/pull/331