Skip to content

Actions: lambdaclass/ethrex

Actions

L2 Prover

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci_l2_prover.yaml
284 workflow runs
284 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore(l2): forbid as conversions L2 Prover #34: Pull request #1347 synchronize by LeanSerra
December 2, 2024 14:21 30s l2/remove_as
l2/remove_as
December 2, 2024 14:21 30s
chore(l2): forbid as conversions L2 Prover #33: Pull request #1347 synchronize by LeanSerra
December 2, 2024 14:21 12s l2/remove_as
l2/remove_as
December 2, 2024 14:21 12s
refactor(l2): forbid panics L2 Prover #32: Pull request #1367 opened by fborello-lambda
December 2, 2024 14:06 8m 59s l2/forbid_panics
l2/forbid_panics
December 2, 2024 14:06 8m 59s
fix(levm): fixing vm arithmetic tests changes (#1333) L2 Prover #31: Commit 9981422 pushed by github-merge-queue bot
November 29, 2024 22:49 8m 55s main
main
November 29, 2024 22:49 8m 55s
feat(core): switch database to Redb (#1351) L2 Prover #30: Commit 93847ca pushed by github-merge-queue bot
November 29, 2024 22:25 8m 58s main
main
November 29, 2024 22:25 8m 58s
feat(l2): rpc comparison bench L2 Prover #29: Pull request #1360 synchronize by xqft
November 29, 2024 21:56 9m 13s l2/comparison_bench_mainnet
l2/comparison_bench_mainnet
November 29, 2024 21:56 9m 13s
chore(l2): forbid as conversions L2 Prover #28: Pull request #1347 synchronize by LeanSerra
November 29, 2024 20:29 9m 11s l2/remove_as
l2/remove_as
November 29, 2024 20:29 9m 11s
fix(l1, l2, levm): lines of code report Slack message title (#1357) L2 Prover #27: Commit 120eaab pushed by github-merge-queue bot
November 29, 2024 19:05 9m 6s main
main
November 29, 2024 19:05 9m 6s
fix(l1): remove "inconsistent internal tree structure" panics (#1288) L2 Prover #26: Commit 3b25e94 pushed by github-merge-queue bot
November 29, 2024 19:03 9m 1s main
main
November 29, 2024 19:03 9m 1s
feat(l2): prover comparison benchmarks (#1221) L2 Prover #25: Commit 18aae39 pushed by github-merge-queue bot
November 29, 2024 17:50 9m 11s main
main
November 29, 2024 17:50 9m 11s
feat(l2): prover comparison benchmarks L2 Prover #24: Pull request #1221 synchronize by xqft
November 29, 2024 17:18 9m 2s l2/comparison_bench
l2/comparison_bench
November 29, 2024 17:18 9m 2s
feat(l2): prover comparison benchmarks L2 Prover #23: Pull request #1221 synchronize by xqft
November 29, 2024 16:58 9m 16s l2/comparison_bench
l2/comparison_bench
November 29, 2024 16:58 9m 16s
feat(l2): prover comparison benchmarks L2 Prover #22: Pull request #1221 synchronize by xqft
November 29, 2024 16:58 19s l2/comparison_bench
l2/comparison_bench
November 29, 2024 16:58 19s
fix(levm): codecopy memory allocation (#1328) L2 Prover #21: Commit 450a1c7 pushed by github-merge-queue bot
November 29, 2024 16:42 9m 16s main
main
November 29, 2024 16:42 9m 16s
fix(l1, l2, levm): slack messages (#1356) L2 Prover #20: Commit 668780a pushed by github-merge-queue bot
November 29, 2024 16:31 9m 14s main
main
November 29, 2024 16:31 9m 14s
feat(l2): prover comparison benchmarks L2 Prover #19: Pull request #1221 synchronize by jrchatruc
November 29, 2024 16:00 9m 4s l2/comparison_bench
l2/comparison_bench
November 29, 2024 16:00 9m 4s
ci(core): fix path filtering on ci_skipped workflow. (#1354) L2 Prover #18: Commit a665092 pushed by github-merge-queue bot
November 29, 2024 15:52 9m 5s main
main
November 29, 2024 15:52 9m 5s
feat(l2): prover comparison benchmarks L2 Prover #17: Pull request #1221 synchronize by jrchatruc
November 29, 2024 15:24 9m 19s l2/comparison_bench
l2/comparison_bench
November 29, 2024 15:24 9m 19s
fix(l1): remove "inconsistent internal tree structure" panics L2 Prover #16: Pull request #1288 synchronize by xqft
November 29, 2024 15:13 9m 7s l2/capture_trie_panic
l2/capture_trie_panic
November 29, 2024 15:13 9m 7s
chore(l2): forbid as conversions L2 Prover #15: Pull request #1347 synchronize by LeanSerra
November 29, 2024 15:04 9m 26s l2/remove_as
l2/remove_as
November 29, 2024 15:04 9m 26s
chore(l2): forbid as conversions L2 Prover #14: Pull request #1347 synchronize by LeanSerra
November 29, 2024 15:03 57s l2/remove_as
l2/remove_as
November 29, 2024 15:03 57s
fix(l1, l2, levm): slack message (#1355) L2 Prover #13: Commit a88e282 pushed by github-merge-queue bot
November 29, 2024 14:52 9m 15s main
main
November 29, 2024 14:52 9m 15s
chore(l2): forbid index slicing (#1344) L2 Prover #12: Commit 4bc120d pushed by github-merge-queue bot
November 29, 2024 14:22 9m 12s main
main
November 29, 2024 14:22 9m 12s
chore(l2): forbid as conversions L2 Prover #11: Pull request #1347 synchronize by LeanSerra
November 29, 2024 14:14 9m 11s l2/remove_as
l2/remove_as
November 29, 2024 14:14 9m 11s
fix(levm): ef tests run summary file paths (#1353) L2 Prover #10: Commit 0e192cd pushed by github-merge-queue bot
November 29, 2024 13:14 9m 15s main
main
November 29, 2024 13:14 9m 15s
ProTip! You can narrow down the results and go further in time using created:<2024-11-29 or the other filters available.