zksecurity / noname

Noname: a programming language to write zkapps
https://zksecurity.github.io/noname/
179 stars 46 forks source link

chore(ci): fix installation step #97

Closed eightfilms closed 4 months ago

eightfilms commented 4 months ago

fixes https://github.com/zksecurity/noname/actions/runs/9376759481

katat commented 4 months ago

Yeah, I was trying to fix this :)

eightfilms commented 4 months ago

seems to be building on my fork: https://github.com/eightfilms/noname/actions/runs/9376847691

eightfilms commented 4 months ago

seems like there's now some sort of permission error? @katat

katat commented 4 months ago

it should work now: https://github.com/zksecurity/noname/pull/98

cheers!