Skip to content

fix: record an external gate's own depth, not its skipped decomposition's - #359

Open
ryanhill1 wants to merge 2 commits into
mainfrom
fix-external-gate-depth
Open

fix: record an external gate's own depth, not its skipped decomposition's#359
ryanhill1 wants to merge 2 commits into
mainfrom
fix-external-gate-depth

Merge branch 'main' into fix-external-gate-depth

89453bc
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar