Skip to content

Actions: scroll-tech/ceno

Actions

Lints

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lints.yml
2,967 workflow runs
2,967 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[recursion] refactor with static inline Lints #5740: Pull request #1252 opened by hero78119
1m 3s feat/recursion_opt
feat/recursion_opt
1m 3s
[witness gene] optimize StepRecord only copy once Lints #5739: Pull request #1250 synchronize by hero78119
8m 4s feat/optimize_shard_witness
feat/optimize_shard_witness
8m 4s
Use NativeSumcheck for calculating initial_sum Lints #5738: Pull request #1249 synchronize by darth-cy
8m 36s feat/sum_replace
feat/sum_replace
8m 36s
feat: group expressions by selectors Lints #5737: Pull request #1251 synchronize by dreamATD
5m 35s precompiles/selector-type-refactor
precompiles/selector-type-refactor
5m 35s
Use NativeSumcheck for calculating initial_sum Lints #5736: Pull request #1249 synchronize by darth-cy
8m 49s feat/sum_replace
feat/sum_replace
8m 49s
feat: group expressions by selectors Lints #5735: Pull request #1251 synchronize by dreamATD
5m 36s precompiles/selector-type-refactor
precompiles/selector-type-refactor
5m 36s
feat: group expressions by selectors Lints #5734: Pull request #1251 synchronize by dreamATD
1m 7s precompiles/selector-type-refactor
precompiles/selector-type-refactor
1m 7s
[witness gene] optimize StepRecord only copy once Lints #5733: Pull request #1250 synchronize by hero78119
23m 43s feat/optimize_shard_witness
feat/optimize_shard_witness
23m 43s
sumcheck skip send p0 (#1247) Lints #5732: Commit 3f5214f pushed by github-merge-queue bot
24m 23s master
master
24m 23s
Lints Lints #5731: Merge group checks requested
25m 6s
25m 6s
sumcheck skip send p0 Lints #5730: Pull request #1247 synchronize by hero78119
24m 12s feat/skip_eval_0
feat/skip_eval_0
24m 12s
feat: group expressions by selectors Lints #5729: Pull request #1251 synchronize by dreamATD
2m 25s precompiles/selector-type-refactor
precompiles/selector-type-refactor
2m 25s
[witness gene] optimize StepRecord only copy once Lints #5728: Pull request #1250 opened by hero78119
24m 0s feat/optimize_shard_witness
feat/optimize_shard_witness
24m 0s
sumcheck skip send p0 Lints #5727: Pull request #1247 synchronize by hero78119
8m 51s feat/skip_eval_0
feat/skip_eval_0
8m 51s
sumcheck skip send p0 Lints #5726: Pull request #1247 synchronize by hero78119
8m 46s feat/skip_eval_0
feat/skip_eval_0
8m 46s
feat(recursion): reduce cycles in ceno proof loading (#1248) Lints #5725: Commit 67092de pushed by github-merge-queue bot
22m 48s master
master
22m 48s
Lints Lints #5724: Merge group checks requested
24m 14s
24m 14s
feat(recursion): reduce cycles in ceno proof loading Lints #5723: Pull request #1248 synchronize by kunxian-xia
8m 38s feat/zkvm_verifier_cycle_reduce
feat/zkvm_verifier_cycle_reduce
8m 38s
feat(recursion): reduce cycles in ceno proof loading Lints #5722: Pull request #1248 synchronize by kunxian-xia
1m 3s feat/zkvm_verifier_cycle_reduce
feat/zkvm_verifier_cycle_reduce
1m 3s
Use NativeSumcheck for calculating initial_sum Lints #5721: Pull request #1249 opened by darth-cy
8m 7s feat/sum_replace
feat/sum_replace
8m 7s
feat(recursion): reduce cycles in ceno proof loading Lints #5720: Pull request #1248 opened by kunxian-xia
9m 9s feat/zkvm_verifier_cycle_reduce
feat/zkvm_verifier_cycle_reduce
9m 9s
sumcheck skip send p0 Lints #5719: Pull request #1247 synchronize by hero78119
8m 9s feat/skip_eval_0
feat/skip_eval_0
8m 9s
sumcheck skip send p0 Lints #5718: Pull request #1247 opened by hero78119
8m 44s feat/skip_eval_0
feat/skip_eval_0
8m 44s
feat(recursion): cycle reduction Lints #5717: Pull request #1245 synchronize by darth-cy
8m 14s feat/tower_cycle_reduce
feat/tower_cycle_reduce
8m 14s
feat(recursion): cycle reduction Lints #5716: Pull request #1245 synchronize by darth-cy
8m 0s feat/tower_cycle_reduce
feat/tower_cycle_reduce
8m 0s