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
fix: Do not require matching extension_reqs when creating a replacement#1177
Merged
aborgna-q merged 1 commit intomainCQCL/hugr:mainfrom ab/less-strict-replacementCQCL/hugr:ab/less-strict-replacementCopy head branch name to clipboardJun 7, 2024
