fix: serialize pre-push hook to avoid dist/ race#218

Merged

nahiyankhan merged 1 commit into

mainfrom

fix/serialize-pre-push-hook

Jul 9, 2026

Commits on Jul 9, 2026

fix: serialize pre-push hook to avoid dist/ race
nahiyankhan
committed