fix: don't always use an exclusive lock in nargo check#7120
Merged
TomAFrench merged 1 commit intomasterfrom Jan 20, 2025
Merged
fix: don't always use an exclusive lock in nargo check#7120TomAFrench merged 1 commit intomasterfrom
nargo check#7120TomAFrench merged 1 commit intomasterfrom