fix(Makefile): use native curl and tar to bypass leanSpec key download bug - #335

Open

Cyberking99 wants to merge 3 commits into

mainfrom

chore/fix-makefile-test-spec

Commits on Jun 6, 2026

fix(Makefile): use native curl and tar to bypass leanSpec key download bug
Cyberking99
committed
91769bb
chore(Makefile): add omitted command for leanSpec/fixtures make target
Cyberking99
committed
4fe4d19

Commits on Jun 7, 2026

chore(Makefile): remove parallel execution flag for spec test
Cyberking99
committed
cf49511