test: skip leanSpec fixture tests while fixtures lag leanVM

.github/workflows/ci.yml

@@ -49,6 +49,12 @@ jobs:
       - name: Clippy
         run: cargo clippy --locked --workspace --all-targets -- -D warnings
 
+      # The leanSpec spectests are `test = false` while the released fixtures
+      # lag leanVM, and `--all-targets` leaves such targets out. Name them so
+      # they keep compiling until they run again.
+      - name: Clippy (skipped spectests)
+        run: cargo clippy --locked --workspace --test forkchoice_spectests --test signature_spectests --test stf_spectests --test ssz_spectests -- -D warnings
+
       # tooling/event-monitor declares its own [workspace] table, so every step
       # above stops at the root workspace members and never reaches it. Its
       # tests run in this job rather than in `test` because clippy has already

Makefile

@@ -8,6 +8,9 @@ fmt: ## 🎨 Format all code using rustfmt
 
 lint: ## 🔍 Run clippy on all workspace crates
 	cargo clippy --locked --workspace --all-targets -- -D warnings
+	# The spectests are `test = false` (stale leanSpec fixtures), which
+	# `--all-targets` skips: lint them by name so they keep compiling
+	cargo clippy --locked --workspace --test forkchoice_spectests --test signature_spectests --test stf_spectests --test ssz_spectests -- -D warnings
 
 test: leanSpec/fixtures ## 🧪 Run all tests
 	# release-fast: release-grade opt-level to avoid stack overflows during

crates/blockchain/Cargo.toml

@@ -43,8 +43,16 @@ datatest-stable = "0.3.3"
 name = "forkchoice_spectests"
 path = "tests/forkchoice_spectests.rs"
 harness = false
+# Skipped by `cargo test`: the released leanSpec fixtures still carry the old
+# leanVM key format and fail to decode. Run on demand with
+# `cargo test --profile release-fast --test <name>`.
+test = false
 
 [[test]]
 name = "signature_spectests"
 path = "tests/signature_spectests.rs"
 harness = false
+# Skipped by `cargo test`: the released leanSpec fixtures still carry the old
+# leanVM key format and fail to decode. Run on demand with
+# `cargo test --profile release-fast --test <name>`.
+test = false

crates/blockchain/state_transition/Cargo.toml

@@ -30,3 +30,7 @@ datatest-stable = "0.3.3"
 name = "stf_spectests"
 path = "tests/stf_spectests.rs"
 harness = false
+# Skipped by `cargo test`: the released leanSpec fixtures still carry the old
+# leanVM key format and fail to decode. Run on demand with
+# `cargo test --profile release-fast --test <name>`.
+test = false

crates/common/types/Cargo.toml

@@ -31,3 +31,7 @@ datatest-stable = "0.3.3"
 name = "ssz_spectests"
 path = "tests/ssz_spectests.rs"
 harness = false
+# Skipped by `cargo test`: the released leanSpec fixtures still carry the old
+# leanVM key format and fail to decode. Run on demand with
+# `cargo test --profile release-fast --test <name>`.
+test = false