From 91769bb4b2e895515526b88d3c9af75d1dd047bf Mon Sep 17 00:00:00 2001 From: Kefas Kingsley Date: Sat, 6 Jun 2026 15:03:36 +0100 Subject: [PATCH 1/3] fix(Makefile): use native curl and tar to bypass leanSpec key download bug --- Makefile | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index a5a38d51..84ec6ba2 100644 --- a/Makefile +++ b/Makefile @@ -110,7 +110,13 @@ leanSpec: ## Clone leanSpec at pinned main commit (contains devnet-4 changes) cd leanSpec && git checkout $(LEAN_SPEC_COMMIT_HASH) leanSpec/fixtures: leanSpec ## Generate consensus test fixtures from leanSpec - cd leanSpec && uv run fill --fork lstar --scheme=prod -o fixtures + cd leanSpec \ + KEYS_URL=$$(uv run python -c "from consensus_testing.keys import KEY_DOWNLOAD_URLS; print(KEY_DOWNLOAD_URLS['prod'])") && \ + KEYS_DIR=packages/testing/src/consensus_testing/test_keys && \ + mkdir -p $$KEYS_DIR && \ + curl -sSL "$$KEYS_URL" -o /tmp/prod_scheme.tar.gz && \ + tar -xzf /tmp/prod_scheme.tar.gz -C $$KEYS_DIR && \ + uv run fill --fork Lstar -n auto --scheme prod -o fixtures # --- Docker --- From 4fe4d19ec8dae89bef675d485abba45c2bf98e51 Mon Sep 17 00:00:00 2001 From: Kefas Kingsley Date: Sat, 6 Jun 2026 15:14:34 +0100 Subject: [PATCH 2/3] chore(Makefile): add omitted command for leanSpec/fixtures make target --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 84ec6ba2..0e58e022 100644 --- a/Makefile +++ b/Makefile @@ -110,7 +110,7 @@ leanSpec: ## Clone leanSpec at pinned main commit (contains devnet-4 changes) cd leanSpec && git checkout $(LEAN_SPEC_COMMIT_HASH) leanSpec/fixtures: leanSpec ## Generate consensus test fixtures from leanSpec - cd leanSpec \ + cd leanSpec && \ KEYS_URL=$$(uv run python -c "from consensus_testing.keys import KEY_DOWNLOAD_URLS; print(KEY_DOWNLOAD_URLS['prod'])") && \ KEYS_DIR=packages/testing/src/consensus_testing/test_keys && \ mkdir -p $$KEYS_DIR && \ From cf495117c49de47ac418b68817ddc80e3673c63d Mon Sep 17 00:00:00 2001 From: Kefas Kingsley Date: Sun, 7 Jun 2026 13:40:07 +0100 Subject: [PATCH 3/3] chore(Makefile): remove parallel execution flag for spec test --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 0e58e022..af76e605 100644 --- a/Makefile +++ b/Makefile @@ -116,7 +116,7 @@ leanSpec/fixtures: leanSpec ## Generate consensus test fixtures from leanSpec mkdir -p $$KEYS_DIR && \ curl -sSL "$$KEYS_URL" -o /tmp/prod_scheme.tar.gz && \ tar -xzf /tmp/prod_scheme.tar.gz -C $$KEYS_DIR && \ - uv run fill --fork Lstar -n auto --scheme prod -o fixtures + uv run fill --fork Lstar --scheme prod -o fixtures # --- Docker ---