Skip to content

Actions: leanEthereum/leanSpec

Actions

Production Test Vectors

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
prod-vectors.yml
372 workflow runs
372 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
test(st): cover state transition at the validator registry limit (#699) Production Test Vectors #372: Commit 34cc920 pushed by tcoratger
In progress main
main
In progress
fix path (#707) Production Test Vectors #371: Commit 3a1588b pushed by tcoratger
1h 5m 58s main
main
1h 5m 58s
refactor(tests): move state and forkchoice tests under forks/lstar (S… Production Test Vectors #370: Commit 941abe7 pushed by tcoratger
1h 24m 20s main
main
1h 24m 20s
refactor(forks): make Store generic over StateT, BlockT (Stage 5 of #… Production Test Vectors #369: Commit a9c8750 pushed by tcoratger
1h 25m 9s main
main
1h 25m 9s
refactor(forks): move verify_signatures body into the spec (Stage 4C,… Production Test Vectors #368: Commit 45ba21e pushed by tcoratger
1h 24m 2s main
main
1h 24m 2s
refactor(forks): rewrite test call sites through the spec (Stage 4B o… Production Test Vectors #367: Commit 22afd98 pushed by tcoratger
1h 23m 48s main
main
1h 23m 48s
refactor(forks): add Spec delegator surface (Stage 4A of #686) (#702) Production Test Vectors #366: Commit 250e28a pushed by tcoratger
1h 23m 55s main
main
1h 23m 55s
refactor(forks): decouple subspecs from forks.lstar (Stage 3 of #686)… Production Test Vectors #365: Commit 4d1816d pushed by tcoratger
7h 28m 11s main
main
7h 28m 11s
docs: remove markdown docs (#701) Production Test Vectors #364: Commit 56c22d9 pushed by tcoratger
1h 20m 38s main
main
1h 20m 38s
refactor(forks): rename GOSSIP_DIGEST from devnet0 to 12345678 (#700) Production Test Vectors #363: Commit df699f0 pushed by shariqnaiyer
1h 23m 3s main
main
1h 23m 3s
refactor(forks): move fork-stable types to lean_spec.types (Stage 2 o… Production Test Vectors #362: Commit 62c5987 pushed by tcoratger
7h 28m 41s main
main
7h 28m 41s
feat: add BlocksByRange req/resp protocol (#691) Production Test Vectors #361: Commit 8cdc4b0 pushed by tcoratger
1h 23m 42s main
main
1h 23m 42s
refactor(forks): tighten ForkProtocol surface (Stage 1 of #686) (#694) Production Test Vectors #360: Commit 9bca4b3 pushed by tcoratger
1h 24m 10s main
main
1h 24m 10s
feat: add multi-fork architecture with ForkProtocol and SpecRunner (#… Production Test Vectors #359: Commit ecca01b pushed by tcoratger
7h 28m 38s main
main
7h 28m 38s
test(fc): tighten new fork-choice test vectors (#692) Production Test Vectors #358: Commit 18fe71f pushed by tcoratger
1h 21m 27s main
main
1h 21m 27s
test: add fork choice test vectors for non-zero finality and equivoca… Production Test Vectors #357: Commit 495c29d pushed by tcoratger
1h 23m 12s main
main
1h 23m 12s
forkchoice: tighten validate_attestation future-slot bound (#682) Production Test Vectors #356: Commit 62eff6e pushed by tcoratger
1h 0m 11s main
main
1h 0m 11s
refactor(client): split event_source.py into a package (#687) Production Test Vectors #355: Commit 8183052 pushed by tcoratger
1h 16m 27s main
main
1h 16m 27s
refactor: order Checkpoint by slot to drop max() lambda noise (#684) Production Test Vectors #354: Commit 16d1374 pushed by tcoratger
1h 14m 58s main
main
1h 14m 58s
chore: sweep dead helpers across subspecs (#683) Production Test Vectors #353: Commit 908ae9f pushed by tcoratger
1h 19m 40s main
main
1h 19m 40s
test(fc): store from anchor rejects mismatched state root (#678) Production Test Vectors #352: Commit 655da3c pushed by tcoratger
1h 18m 40s main
main
1h 18m 40s
forkchoice: use only the "new" pool for update_safe_target (#680) Production Test Vectors #351: Commit e845240 pushed by tcoratger
1h 19m 40s main
main
1h 19m 40s
forkchoice: seed anchor checkpoints from the anchor slot (#677) Production Test Vectors #350: Commit bb60178 pushed by tcoratger
1h 21m 14s main
main
1h 21m 14s
docs: normalize RST double backticks to single backticks in comments … Production Test Vectors #349: Commit 8c004b6 pushed by tcoratger
1h 19m 57s main
main
1h 19m 57s
framework: reqresp_response_stream codec + multi-chunk stream vectors… Production Test Vectors #348: Commit ecb2d3b pushed by tcoratger
1h 35m 48s main
main
1h 35m 48s