Skip to content

Actions: runtimeverification/evm-equivalence

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
128 workflow runs
128 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add SSTORE gas and refund bridge helpers Lean Action CI #105: Pull request #44 synchronize by eliasjudin
Action required eliasjudin:fill-sstore-gas-bridge
eliasjudin:fill-sstore-gas-bridge
Action required
Close memory, stack, interface, and Exp equivalence proof obligations Lean Action CI #104: Pull request #43 synchronize by eliasjudin
Action required eliasjudin:fill-step-gascostvalue-equivalence
eliasjudin:fill-step-gascostvalue-equivalence
Action required
Close memory, stack, interface, and Exp equivalence proof obligations Lean Action CI #103: Pull request #43 synchronize by eliasjudin
Action required eliasjudin:fill-step-gascostvalue-equivalence
eliasjudin:fill-step-gascostvalue-equivalence
Action required
Add SSTORE gas and refund bridge helpers Lean Action CI #102: Pull request #44 opened by eliasjudin
Action required eliasjudin:fill-sstore-gas-bridge
eliasjudin:fill-sstore-gas-bridge
Action required
Close memory, stack, interface, and Exp equivalence proof obligations Lean Action CI #101: Pull request #43 opened by eliasjudin
Action required eliasjudin:fill-step-gascostvalue-equivalence
eliasjudin:fill-step-gascostvalue-equivalence
Action required
Fill W1_zero_eq sorry in X_exp_equiv Lean Action CI #98: Pull request #40 opened by eliasjudin
41m 48s eliasjudin:fill-W1-zero-eq
eliasjudin:fill-W1-zero-eq
41m 48s
Bump nokogiri from 1.13.6 to 1.19.1 in /home_page Lean Action CI #97: Pull request #39 opened by dependabot bot
40m 4s dependabot/bundler/home_page/nokogiri-1.19.1
dependabot/bundler/home_page/nokogiri-1.19.1
40m 4s
Bump nokogiri from 1.13.6 to 1.19.1 in /home_page Lean Action CI #96: Commit cde5332 pushed by dependabot bot
39m 53s dependabot/bundler/home_page/nokogiri-1.19.1
dependabot/bundler/home_page/nokogiri-1.19.1
39m 53s
bundler in /home_page for nokogiri - Update #1249888681 Dependabot Updates #7: by dependabot bot
43s master
master
43s
bundler in /home_page for faraday - Update #1242122766 Dependabot Updates #6: by dependabot bot
27s master
master
27s
Bump faraday from 1.10.0 to 2.14.1 in /home_page Lean Action CI #95: Pull request #38 opened by dependabot bot
40m 28s dependabot/bundler/home_page/faraday-2.14.1
dependabot/bundler/home_page/faraday-2.14.1
40m 28s
Bump faraday from 1.10.0 to 2.14.1 in /home_page Lean Action CI #94: Commit 1e2d928 pushed by dependabot bot
40m 0s dependabot/bundler/home_page/faraday-2.14.1
dependabot/bundler/home_page/faraday-2.14.1
40m 0s
bundler in /home_page for faraday - Update #1238635718 Dependabot Updates #5: by dependabot bot
36s master
master
36s
Add Stats4Nerds (#37) Lean Action CI #93: Commit 3a757eb pushed by JuanCoRo
1h 34m 32s master
master
1h 34m 32s
Add Stats4Nerds (#37) Compile blueprint #16: Commit 3a757eb pushed by JuanCoRo
54m 56s master
master
54m 56s
Add Stats4Nerds Lean Action CI #92: Pull request #37 synchronize by JuanCoRo
40m 27s add-stats4nerds
add-stats4nerds
40m 27s
Stats4Nerds.lean: typo Lean Action CI #91: Commit dc45eaf pushed by JuanCoRo
39m 27s add-stats4nerds
add-stats4nerds
39m 27s
Add Stats4Nerds Lean Action CI #90: Pull request #37 opened by JuanCoRo
7m 11s add-stats4nerds
add-stats4nerds
7m 11s
README.md: add bullets to statistics Lean Action CI #89: Commit a80b89f pushed by JuanCoRo
11m 45s add-stats4nerds
add-stats4nerds
11m 45s
README.md: add section Stats4Nerds Lean Action CI #88: Commit e1281bb pushed by JuanCoRo
1m 51s add-stats4nerds
add-stats4nerds
1m 51s
Blueprint: add section Trust Base, Proofs, Gaps and Limitations (#36) Compile blueprint #15: Commit 48d9797 pushed by JuanCoRo
54m 0s master
master
54m 0s
Blueprint: add section Trust Base, Proofs, Gaps and Limitations (#36) Lean Action CI #87: Commit 48d9797 pushed by JuanCoRo
1h 34m 56s master
master
1h 34m 56s
Blueprint: add section Trust Base, Proofs, Gaps and Limitations Lean Action CI #86: Pull request #36 synchronize by JuanCoRo
1m 11s doc-gas-sorry-and-assumptions
doc-gas-sorry-and-assumptions
1m 11s
more typos Lean Action CI #85: Commit af47a32 pushed by JuanCoRo
1m 12s doc-gas-sorry-and-assumptions
doc-gas-sorry-and-assumptions
1m 12s
Blueprint: add section Trust Base, Proofs, Gaps and Limitations Lean Action CI #84: Pull request #36 synchronize by JuanCoRo
1m 23s doc-gas-sorry-and-assumptions
doc-gas-sorry-and-assumptions
1m 23s