Change the docs CI workflow name (to get rid of duplicated items) - Githubissues

o1-labs / o1js

TypeScript framework for zk-SNARKs and zkApps

https://docs.minaprotocol.com/en/zkapps/how-to-write-a-zkapp

Apache License 2.0

473 stars 105 forks source link

Change the docs CI workflow name (to get rid of duplicated items) #1680

Closed shimkiv closed 2 weeks ago

shimkiv commented 2 weeks ago