You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
perf: use lazy static definittion for prelude registry#481
Merged
ss2165 merged 1 commit intomainCQCL/hugr:mainfrom chore/prelude-reg-staticCQCL/hugr:chore/prelude-reg-staticCopy head branch name to clipboardSep 1, 2023
