Skip to content

Actions: leanEthereum/leanSpec

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

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): rename GOSSIP_DIGEST from devnet0 to 12345678 (#700) CI #2191: Commit df699f0 pushed by shariqnaiyer
19m 28s main
main
19m 28s
refactor(forks): rename GOSSIP_DIGEST from devnet0 to 12345678 (#700) Docker #653: Commit df699f0 pushed by shariqnaiyer
1m 55s main
main
1m 55s
refactor(forks): rename GOSSIP_DIGEST from devnet0 to 12345678 (#700) Production Test Vectors #363: Commit df699f0 pushed by shariqnaiyer
In progress main
main
In progress
refactor(forks): rename GOSSIP_DIGEST from devnet0 to 12345678 CI #2189: Pull request #700 opened by Andrurachi
19m 6s Andrurachi:rename-network-name-693
Andrurachi:rename-network-name-693
19m 6s
refactor(forks): rename GOSSIP_DIGEST from devnet0 to 12345678 Docker #651: Pull request #700 opened by Andrurachi
2m 16s Andrurachi:rename-network-name-693
Andrurachi:rename-network-name-693
2m 16s
add CI safe max validator genesis transition test CI #2188: Pull request #699 opened by shrirajpawar4
19m 7s shrirajpawar4:fix/genesis-with-max-validators
shrirajpawar4:fix/genesis-with-max-validators
19m 7s
add CI safe max validator genesis transition test Docker #650: Pull request #699 opened by shrirajpawar4
3m 9s shrirajpawar4:fix/genesis-with-max-validators
shrirajpawar4:fix/genesis-with-max-validators
3m 9s
refactor(forks): decouple subspecs from forks.lstar (Stage 3 of #686) CI #2187: Pull request #698 opened by tcoratger
18m 26s tcoratger:refactor/decouple-subspecs-from-fork-stage3
tcoratger:refactor/decouple-subspecs-from-fork-stage3
18m 26s
refactor(forks): decouple subspecs from forks.lstar (Stage 3 of #686) Docker #649: Pull request #698 opened by tcoratger
42m 17s tcoratger:refactor/decouple-subspecs-from-fork-stage3
tcoratger:refactor/decouple-subspecs-from-fork-stage3
42m 17s
docs: add Lean4 proof propositions catalog (JP + EN) CI #2186: Pull request #696 reopened by adust09
Action required adust09:leanSpec-lean4
adust09:leanSpec-lean4
Action required
docs: add Lean4 proof propositions catalog (JP + EN) Docker #648: Pull request #696 reopened by adust09
Action required adust09:leanSpec-lean4
adust09:leanSpec-lean4
Action required
refactor(forks): move fork-stable types to lean_spec.types (Stage 2 o… Docker #646: Commit 62c5987 pushed by tcoratger
36m 23s main
main
36m 23s
refactor(forks): move fork-stable types to lean_spec.types (Stage 2 o… CI #2184: Commit 62c5987 pushed by tcoratger
18m 43s main
main
18m 43s
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
refactor(forks): move fork-stable types to lean_spec.types (Stage 2 of #686) CI #2183: Pull request #695 opened by tcoratger
19m 10s tcoratger:refactor/move-fork-stable-types-stage2
tcoratger:refactor/move-fork-stable-types-stage2
19m 10s
refactor(forks): move fork-stable types to lean_spec.types (Stage 2 of #686) Docker #645: Pull request #695 opened by tcoratger
39m 57s tcoratger:refactor/move-fork-stable-types-stage2
tcoratger:refactor/move-fork-stable-types-stage2
39m 57s
feat: add BlocksByRange req/resp protocol (#691) CI #2182: Commit 8cdc4b0 pushed by tcoratger
18m 56s main
main
18m 56s
feat: add BlocksByRange req/resp protocol (#691) Production Test Vectors #361: Commit 8cdc4b0 pushed by tcoratger
1h 23m 42s main
main
1h 23m 42s
feat: add BlocksByRange req/resp protocol (#691) Docker #644: Commit 8cdc4b0 pushed by tcoratger
1m 53s main
main
1m 53s
feat: add BlocksByRange req/resp protocol Docker #643: Pull request #691 synchronize by tcoratger
1m 57s akronim26:req-resp
akronim26:req-resp
1m 57s
feat: add BlocksByRange req/resp protocol CI #2181: Pull request #691 synchronize by tcoratger
19m 2s akronim26:req-resp
akronim26:req-resp
19m 2s
feat: add BlocksByRange req/resp protocol CI #2180: Pull request #691 synchronize by tcoratger
18m 26s akronim26:req-resp
akronim26:req-resp
18m 26s
feat: add BlocksByRange req/resp protocol Docker #642: Pull request #691 synchronize by tcoratger
2m 27s akronim26:req-resp
akronim26:req-resp
2m 27s
refactor(forks): tighten ForkProtocol surface (Stage 1 of #686) (#694) Docker #641: Commit 9bca4b3 pushed by tcoratger
39m 57s main
main
39m 57s
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