Skip to content

Actions: IvanAnishchuk/etheorem

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
28 workflow runs
28 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
test(ethcllib): computational Merkle-branch witnesses Lean Action CI #23: Commit 373a038 pushed by IvanAnishchuk
13m 41s feat/merkle-branch-proofs
feat/merkle-branch-proofs
13m 41s
test(ethcllib): computational Merkle-branch witnesses Lean Action CI #22: Commit 47f2818 pushed by IvanAnishchuk
12m 24s feat/merkle-branch-proofs
feat/merkle-branch-proofs
12m 24s
feat(ethclspecs): fork-choice throw-faithfulness sweep (get_forkchoic… Mirror LeanSha256 #5: Commit df808ae pushed by IvanAnishchuk
12s main
main
12s
feat(ethclspecs): fork-choice throw-faithfulness sweep (get_forkchoic… Lean Action CI #21: Commit df808ae pushed by IvanAnishchuk
12m 34s main
main
12m 34s
test(ethcllib): computational Merkle-branch witnesses Lean Action CI #20: Commit 8e352d8 pushed by IvanAnishchuk
10m 48s feat/merkle-branch-proofs
feat/merkle-branch-proofs
10m 48s
docs(ethclspecs): name the weight-path deferral where getWeight decli… Lean Action CI #19: Commit e24e79c pushed by leolara
12m 28s feat/fork-choice-throw-faithfulness
feat/fork-choice-throw-faithfulness
12m 28s
test(ethcllib): computational Merkle-branch witnesses Lean Action CI #18: Commit 1b36d6e pushed by IvanAnishchuk
9m 47s feat/merkle-branch-proofs
feat/merkle-branch-proofs
9m 47s
docs: refresh the verification roadmap against the branch stack Lean Action CI #17: Commit 5f656f0 pushed by IvanAnishchuk
10m 19s docs/verification-roadmap
docs/verification-roadmap
10m 19s
docs(ethclspecs): scope the weight-path deferral to what it rests on Lean Action CI #16: Commit 5a676f3 pushed by IvanAnishchuk
12m 22s feat/fork-choice-throw-faithfulness
feat/fork-choice-throw-faithfulness
12m 22s
Merge pull request #19 from Mouzayan/feat/gloas-get-ptc-proof Lean Action CI #15: Commit 21ac48a pushed by IvanAnishchuk
9m 54s main
main
9m 54s
Merge pull request #19 from Mouzayan/feat/gloas-get-ptc-proof Mirror LeanSha256 #4: Commit 21ac48a pushed by IvanAnishchuk
13s main
main
13s
docs: add the formal-verification proof-targets roadmap Lean Action CI #14: Commit fb9d731 pushed by IvanAnishchuk
7m 56s docs/verification-roadmap
docs/verification-roadmap
7m 56s
fix(ethclspecs): reclassify the two Heze uint64 faults as arithmetic … Lean Action CI #13: Commit 6f5ceac pushed by IvanAnishchuk
13m 8s feat/fork-choice-throw-faithfulness
feat/fork-choice-throw-faithfulness
13m 8s
docs(ethclspecs): address PR feedback requesting clearer documentation Lean Action CI #12: Commit 5a3b5d9 pushed by IvanAnishchuk
12m 20s feat/heze-focil-alpha11
feat/heze-focil-alpha11
12m 20s
feat(sizzlean): close the uintN 128/256 arms of the central theorems … Mirror LeanSha256 #3: Commit d687dfd pushed by IvanAnishchuk
10s main
main
10s
feat(sizzlean): close the uintN 128/256 arms of the central theorems … Lean Action CI #11: Commit d687dfd pushed by IvanAnishchuk
10m 2s main
main
10m 2s
docs(ethclspecs): address PR feedback requesting clearer documentation Lean Action CI #10: Commit f8a6731 pushed by IvanAnishchuk
11m 57s feat/heze-focil-alpha11
feat/heze-focil-alpha11
11m 57s
fix(hazmat-kzg): build LeanHazmatKzg on macOS (#13) Lean Action CI #9: Commit 032ab6c pushed by IvanAnishchuk
9m 43s main
main
9m 43s
fix(hazmat-kzg): build LeanHazmatKzg on macOS (#13) Mirror LeanSha256 #2: Commit 032ab6c pushed by IvanAnishchuk
12s main
main
12s
feat(ethclspecs): add the Heze fork with EIP-7805 FOCIL, conformance-… Lean Action CI #8: Commit fe6ad26 pushed by IvanAnishchuk
10m 19s feat/heze-focil-alpha11
feat/heze-focil-alpha11
10m 19s
feat(ethclspecs): add the Heze fork with EIP-7805 FOCIL, conformance-… Lean Action CI #7: Commit 8eb5663 pushed by IvanAnishchuk
12m 17s feat/heze-focil-alpha11
feat/heze-focil-alpha11
12m 17s
refactor(ethclspecs): place Heze FOCIL code by concern, drop the feat… Lean Action CI #6: Commit d5cce62 pushed by IvanAnishchuk
11m 17s feat/heze-focil-alpha11
feat/heze-focil-alpha11
11m 17s
docs(ethclspecs): re-pin DISCREPANCIES to alpha.11 and record the Hez… Lean Action CI #5: Commit 573e830 pushed by IvanAnishchuk
11m 8s feat/heze-focil-alpha11
feat/heze-focil-alpha11
11m 8s
feat(ethclspecs): add Heze (EIP-7805 FOCIL) for v1.7.0-alpha.11 Lean Action CI #4: Commit 33894f0 pushed by IvanAnishchuk
9m 26s feat/heze-focil-alpha11
feat/heze-focil-alpha11
9m 26s
feat(ethclspecs): Gloas EIP-8282 + re-pin consensus-specs to v1.7.0-a… Lean Action CI #3: Commit f41142a pushed by IvanAnishchuk
9m 38s feat/gloas-eip8282-repin-alpha11
feat/gloas-eip8282-repin-alpha11
9m 38s