Search results

Add CI coverage gate with --cov-fail-under to prevent regressions

Status: Open.

#401 In leanEthereum/leanSpec;

· adust09 opened on Feb 15, 2026

Docs site URL returns 404 (Pages not deployed / mkdocs URL mismatch)

Status: Open.

#400 In leanEthereum/leanSpec;

· adust09 opened on Feb 15, 2026

Fix interop tests after #282

Status: Open.

#359 In leanEthereum/leanSpec;

· kamilsa opened on Feb 5, 2026

Readded `class Signature(Bytes3112):

Status: Open.

#214 In leanEthereum/leanSpec;

· KolbyML opened on Dec 1, 2025

Upgrade XmssKeyManager utility

Status: Open.

#129 In leanEthereum/leanSpec;

· anshalshukla opened on Nov 5, 2025

Document generator

toolingScope: Changes to workspace / project tooling e.g. tox, mypy, ruff, uv, mkdocsScope: Changes to workspace / project tooling e.g. tox, mypy, ruff, uv, mkdocs

Status: Open.

#90 In leanEthereum/leanSpec;

· unnawut opened on Oct 28, 2025

Spec test sequence trace, a general test vector format for the Ethereum consensus layer

frameworkScope: Changes to the testing frameworkScope: Changes to the testing framework

Status: Open.

#62 In leanEthereum/leanSpec;

· leolara opened on Sep 21, 2025