Skip to content

Allow dev extensions with a pinned project (adjust pin version check)#874

Open
JonahBraun wants to merge 4 commits into
mainfrom
fix/pin-gate-uses-conductor-mismatches
Open

Allow dev extensions with a pinned project (adjust pin version check)#874
JonahBraun wants to merge 4 commits into
mainfrom
fix/pin-gate-uses-conductor-mismatches

Commits

Commits on Apr 15, 2026

Commits on Apr 16, 2026