Skip to content

Actions: tcoratger/leanSpec

Actions

Docker

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker.yml
275 workflow runs
275 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
refactor(forks): add Spec delegator surface (Stage 4A of #686) (#702) Docker #100: Commit 250e28a pushed by tcoratger
33m 57s main
main
33m 57s
refactor(forks): decouple subspecs from forks.lstar (Stage 3 of #686)… Docker #99: Commit 4d1816d pushed by tcoratger
39m 48s main
main
39m 48s
refactor(forks): move fork-stable types to lean_spec.types (Stage 2 o… Docker #98: Commit 62c5987 pushed by tcoratger
37m 57s main
main
37m 57s
feat: add BlocksByRange req/resp protocol (#691) Docker #97: Commit 8cdc4b0 pushed by tcoratger
37m 50s main
main
37m 50s
feat: add multi-fork architecture with ForkProtocol and SpecRunner (#… Docker #96: Commit ecca01b pushed by tcoratger
40m 1s main
main
40m 1s
test(fc): tighten new fork-choice test vectors (#692) Docker #95: Commit 18fe71f pushed by tcoratger
37m 26s main
main
37m 26s
forkchoice: tighten validate_attestation future-slot bound (#682) Docker #94: Commit 62eff6e pushed by tcoratger
39m 58s main
main
39m 58s
refactor: order Checkpoint by slot to drop max() lambda noise (#684) Docker #93: Commit 16d1374 pushed by tcoratger
36m 9s main
main
36m 9s
chore: sweep dead helpers across subspecs (#683) Docker #92: Commit 908ae9f pushed by tcoratger
39m 37s main
main
39m 37s
test(fc): store from anchor rejects mismatched state root (#678) Docker #91: Commit 655da3c pushed by tcoratger
40m 6s main
main
40m 6s
forkchoice: use only the "new" pool for update_safe_target (#680) Docker #90: Commit e845240 pushed by tcoratger
39m 54s main
main
39m 54s
forkchoice: seed anchor checkpoints from the anchor slot (#677) Docker #89: Commit bb60178 pushed by tcoratger
34m 35s main
main
34m 35s
docs: normalize RST double backticks to single backticks in comments … Docker #88: Commit 8c004b6 pushed by tcoratger
39m 31s main
main
39m 31s
framework: reqresp_response_stream codec + multi-chunk stream vectors… Docker #87: Commit ecb2d3b pushed by tcoratger
37m 45s main
main
37m 45s
metrics: simplify and separate metrics logic from specs (#667) Docker #86: Commit f160625 pushed by tcoratger
39m 4s main
main
39m 4s
framework: add sync fixture format with checkpoint verification KATs … Docker #85: Commit b5b315c pushed by tcoratger
37m 47s main
main
37m 47s
test(poseidon1): width-24 permutation known-answer vectors (#657) Docker #84: Commit 6e837e2 pushed by tcoratger
40m 34s main
main
40m 34s
test(networking): reject malformed req/resp framing (#650) Docker #83: Commit 4aa09e6 pushed by tcoratger
38m 37s main
main
38m 37s
test(fc): store initialization from non-genesis anchor (checkpoint sy… Docker #82: Commit 17dab08 pushed by tcoratger
35m 39s main
main
35m 39s
test(fc): safe target stays at justified root with insufficient weigh… Docker #81: Commit bc17f7a pushed by tcoratger
35m 50s main
main
35m 50s
update bindings (#640) Docker #80: Commit f44eccd pushed by tcoratger
38m 25s main
main
38m 25s
api, node: add runtime aggregator role toggle (#636) Docker #79: Commit 9b89651 pushed by tcoratger
40m 45s main
main
40m 45s
test(networking): add Discovery v5 routing distance test vectors (#632) Docker #78: Commit a49f2bf pushed by tcoratger
35m 17s main
main
35m 17s
test(networking): add Discovery v5 crypto test vectors (#631) Docker #77: Commit 2132109 pushed by tcoratger
34m 38s main
main
34m 38s
fix: remove prod_vectors job timeout (#625) Docker #76: Commit 7664a94 pushed by tcoratger
35m 31s main
main
35m 31s