chore: bumping to 0.25.0#37

signorecello wants to merge 1 commit into

mainsignorecello/noir-playground:mainfrom

zpedro/0.25.0signorecello/noir-playground:zpedro/0.25.0Copy head branch name to clipboard