This repository has been archived by the owner on Aug 15, 2024. It is now read-only.

sanity check #47

Closed

mm-zk wants to merge 1 commit into main from mmzk_0520_sanity

Contributor

mm-zk commented May 20, 2024

What ❔

Why ❔

Checklist

PR title corresponds to the body of PR (we generate changelog entries from PRs).
Tests for the changes have been added / updated.
Documentation comments have been added / updated.
Code has been formatted via zk fmt and zk lint.


          sanity check

b338a1e

mm-zk closed this

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet