Workflow runs · lfglabs-dev/eip-8282-proof-closure · GitHub

Repository navigation

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

571 workflow runs

571 workflow runs

Remove obsolete proof campaigns and isolate the direct guarantee core prove #571: Pull request #81 synchronize by Th0rgal

16m 38s codex/closure-repo-cleanup

codex/closure-repo-cleanup

16m 38s

Merge pull request #80 from lfglabs-dev/chore/prune-unreferenced-arti… prove #570: Commit 3992df2 pushed by Th0rgal

30m 34s main

main

30m 34s

Remove obsolete proof campaigns and isolate the direct guarantee core prove #569: Pull request #81 opened by Th0rgal

24m 24s codex/closure-repo-cleanup

codex/closure-repo-cleanup

24m 24s

Prune unreferenced receipts and reviews, archive campaign docs prove #568: Pull request #80 opened by Th0rgal

30m 47s chore/prune-unreferenced-artifacts

chore/prune-unreferenced-artifacts

30m 47s

Merge pull request #79 from lfglabs-dev/codex/resource-assumption-clo… prove #567: Commit 0e38bf8 pushed by Th0rgal

21m 48s main

main

21m 48s

Derive proof domains from supply and execution-work limits prove #566: Pull request #79 opened by Th0rgal

32m 29s codex/resource-assumption-closure

codex/resource-assumption-closure

32m 29s

Merge pull request #78 from lfglabs-dev/docs/verify-guide prove #565: Commit 8adad41 pushed by Th0rgal

31m 45s main

main

31m 45s

Add VERIFY.md reproduction guide prove #564: Pull request #78 opened by Th0rgal

24m 35s docs/verify-guide

docs/verify-guide

24m 35s

Additive slot/withdrawal extraction (lots 44, 50–174) prove #563: Pull request #35 synchronize by cursor Bot

32m 21s grok/eip-slot-withdrawal-extraction-20260911

grok/eip-slot-withdrawal-extraction-20260911

32m 21s

Additive slot/withdrawal extraction (lots 44, 50–174) prove #562: Pull request #35 synchronize by cursor Bot

32m 50s grok/eip-slot-withdrawal-extraction-20260911

grok/eip-slot-withdrawal-extraction-20260911

32m 50s

Additive slot/withdrawal extraction (lots 44, 50–174) prove #561: Pull request #35 synchronize by cursor Bot

33m 54s grok/eip-slot-withdrawal-extraction-20260911

grok/eip-slot-withdrawal-extraction-20260911

33m 54s

Additive slot/withdrawal extraction (lots 44, 50–174) prove #560: Pull request #35 synchronize by cursor Bot

33m 19s grok/eip-slot-withdrawal-extraction-20260911

grok/eip-slot-withdrawal-extraction-20260911

33m 19s

Additive slot/withdrawal extraction (lots 44, 50–174) prove #559: Pull request #35 synchronize by cursor Bot

25m 52s grok/eip-slot-withdrawal-extraction-20260911

grok/eip-slot-withdrawal-extraction-20260911

25m 52s

Additive slot/withdrawal extraction (lots 44, 50–174) prove #558: Pull request #35 synchronize by cursor Bot

34m 15s grok/eip-slot-withdrawal-extraction-20260911

grok/eip-slot-withdrawal-extraction-20260911

34m 15s

Additive slot/withdrawal extraction (lots 44, 50–174) prove #557: Pull request #35 synchronize by cursor Bot

31m 50s grok/eip-slot-withdrawal-extraction-20260911

grok/eip-slot-withdrawal-extraction-20260911

31m 50s

Additive slot/withdrawal extraction (lots 44, 50–174) prove #556: Pull request #35 synchronize by cursor Bot

33m 42s grok/eip-slot-withdrawal-extraction-20260911

grok/eip-slot-withdrawal-extraction-20260911

33m 42s

Additive slot/withdrawal extraction (lots 44, 50–174) prove #555: Pull request #35 synchronize by cursor Bot

32m 26s grok/eip-slot-withdrawal-extraction-20260911

grok/eip-slot-withdrawal-extraction-20260911

32m 26s

Additive slot/withdrawal extraction (lots 44, 50–174) prove #554: Pull request #35 synchronize by cursor Bot

30m 59s grok/eip-slot-withdrawal-extraction-20260911

grok/eip-slot-withdrawal-extraction-20260911

30m 59s

Additive slot/withdrawal extraction (lots 44, 50–174) prove #553: Pull request #35 synchronize by cursor Bot

30m 52s grok/eip-slot-withdrawal-extraction-20260911

grok/eip-slot-withdrawal-extraction-20260911

30m 52s

Additive slot/withdrawal extraction (lots 44, 50–174) prove #552: Pull request #35 synchronize by cursor Bot

32m 52s grok/eip-slot-withdrawal-extraction-20260911

grok/eip-slot-withdrawal-extraction-20260911

32m 52s

Additive slot/withdrawal extraction (lots 44, 50–174) prove #551: Pull request #35 synchronize by cursor Bot

32m 33s grok/eip-slot-withdrawal-extraction-20260911

grok/eip-slot-withdrawal-extraction-20260911

32m 33s

Additive slot/withdrawal extraction (lots 44, 50–174) prove #550: Pull request #35 synchronize by cursor Bot

32m 44s grok/eip-slot-withdrawal-extraction-20260911

grok/eip-slot-withdrawal-extraction-20260911

32m 44s

Additive slot/withdrawal extraction (lots 44, 50–174) prove #549: Pull request #35 synchronize by cursor Bot

28m 27s grok/eip-slot-withdrawal-extraction-20260911

grok/eip-slot-withdrawal-extraction-20260911

28m 27s

Additive slot/withdrawal extraction (lots 44, 50–174) prove #548: Pull request #35 synchronize by cursor Bot

24m 8s grok/eip-slot-withdrawal-extraction-20260911

grok/eip-slot-withdrawal-extraction-20260911

24m 8s

Additive slot/withdrawal extraction (lots 44, 50–174) prove #547: Pull request #35 synchronize by cursor Bot

30m 45s grok/eip-slot-withdrawal-extraction-20260911

grok/eip-slot-withdrawal-extraction-20260911

30m 45s