Skip to content

Actions: scroll-tech/ceno

Actions

Lints

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lints.yml
3,243 workflow runs
3,243 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update assignment interface for IsLtConfig gadget Lints #3182: Pull request #774 synchronize by bgillesp
December 21, 2024 04:27 1m 28s Inversed-Tech:bg/update_islt_assignment_interface
Inversed-Tech:bg/update_islt_assignment_interface
December 21, 2024 04:27 1m 28s
optimize infer_tower_product_witness with less traverse Lints #3181: Pull request #780 opened by hero78119
December 20, 2024 15:36 1m 20s hero78119:feat/infer_tower_layer
hero78119:feat/infer_tower_layer
December 20, 2024 15:36 1m 20s
Rebuild examples less often Lints #3180: Pull request #779 opened by matthiasgoergens
December 20, 2024 13:03 1m 25s matthias/less-rebuilding
matthias/less-rebuilding
December 20, 2024 13:03 1m 25s
Implement quadratic sorting example (#769) Lints #3179: Commit e05fd4f pushed by github-merge-queue bot
December 20, 2024 08:16 1m 27s master
master
December 20, 2024 08:16 1m 27s
Lints Lints #3178: Merge group checks requested
December 20, 2024 08:12 1m 21s
December 20, 2024 08:12 1m 21s
Implement quadratic sorting example Lints #3177: Pull request #769 synchronize by matthiasgoergens
December 20, 2024 08:04 1m 21s matthias/bad-sorting
matthias/bad-sorting
December 20, 2024 08:04 1m 21s
Implement quadratic sorting example Lints #3176: Pull request #769 synchronize by matthiasgoergens
December 20, 2024 08:02 1m 24s matthias/bad-sorting
matthias/bad-sorting
December 20, 2024 08:02 1m 24s
Implement quadratic sorting example Lints #3175: Pull request #769 synchronize by matthiasgoergens
December 20, 2024 07:58 1m 22s matthias/bad-sorting
matthias/bad-sorting
December 20, 2024 07:58 1m 22s
Implement quadratic sorting example Lints #3174: Pull request #769 synchronize by matthiasgoergens
December 20, 2024 07:57 1m 17s matthias/bad-sorting
matthias/bad-sorting
December 20, 2024 07:57 1m 17s
Implement quadratic sorting example Lints #3173: Pull request #769 synchronize by matthiasgoergens
December 20, 2024 07:56 52s matthias/bad-sorting
matthias/bad-sorting
December 20, 2024 07:56 52s
benchmark fix: use iter_custom to measure routine time exactly (#776) Lints #3172: Commit 9231955 pushed by github-merge-queue bot
December 20, 2024 07:49 1m 19s master
master
December 20, 2024 07:49 1m 19s
Lints Lints #3171: Merge group checks requested
December 20, 2024 07:44 1m 21s
December 20, 2024 07:44 1m 21s
Feat/structural witin add Lints #3170: Pull request #740 synchronize by 10to4
December 20, 2024 06:32 1m 29s 10to4:feat/structural_witin_add
10to4:feat/structural_witin_add
December 20, 2024 06:32 1m 29s
[Feat] Add proof size / hash count statistic into e2e test (#777) Lints #3169: Commit 8efc423 pushed by github-merge-queue bot
December 20, 2024 03:44 1m 29s master
master
December 20, 2024 03:44 1m 29s
Lints Lints #3168: Merge group checks requested
December 20, 2024 03:40 1m 29s
December 20, 2024 03:40 1m 29s
[Feat] Add proof size / hash count statistic into e2e test Lints #3167: Pull request #777 opened by noel2004
December 20, 2024 03:09 1m 24s feat/e2e_stat
feat/e2e_stat
December 20, 2024 03:09 1m 24s
benchmark fix: use iter_custom to measure routine time exactly Lints #3166: Pull request #776 synchronize by hero78119
December 20, 2024 02:38 1m 31s hero78119:feat/fix_bench
hero78119:feat/fix_bench
December 20, 2024 02:38 1m 31s
benchmark fix: use iter_custom to measure routine time exactly Lints #3165: Pull request #776 opened by hero78119
December 19, 2024 13:31 1m 29s hero78119:feat/fix_bench
hero78119:feat/fix_bench
December 19, 2024 13:31 1m 29s
accelerate wit_infer_by_expr via grid-strde-loop & vector pool Lints #3164: Pull request #775 synchronize by hero78119
December 19, 2024 12:46 1m 26s hero78119:feat/wit_infer_opt
hero78119:feat/wit_infer_opt
December 19, 2024 12:46 1m 26s
accelerate wit_infer_by_expr via grid-strde-loop & vector pool Lints #3163: Pull request #775 ready_for_review by hero78119
December 19, 2024 12:17 1m 19s hero78119:feat/wit_infer_opt
hero78119:feat/wit_infer_opt
December 19, 2024 12:17 1m 19s
accelerate wit_infer_by_expr via grid-strde-loop & vector pool Lints #3162: Pull request #775 synchronize by hero78119
December 19, 2024 12:17 2s hero78119:feat/wit_infer_opt
hero78119:feat/wit_infer_opt
December 19, 2024 12:17 2s
accelerate wit_infer_by_expr via grid-strde-loop & vector pool Lints #3161: Pull request #775 synchronize by hero78119
December 19, 2024 12:15 1m 26s hero78119:feat/wit_infer_opt
hero78119:feat/wit_infer_opt
December 19, 2024 12:15 1m 26s
accelerate wit_infer_by_expr via grid-strde-loop & vector pool Lints #3160: Pull request #775 synchronize by hero78119
December 19, 2024 12:03 1m 26s hero78119:feat/wit_infer_opt
hero78119:feat/wit_infer_opt
December 19, 2024 12:03 1m 26s
accelerate wit_infer_by_expr via grid-strde-loop & vector pool Lints #3159: Pull request #775 synchronize by hero78119
December 19, 2024 11:55 1m 21s hero78119:feat/wit_infer_opt
hero78119:feat/wit_infer_opt
December 19, 2024 11:55 1m 21s
accelerate wit_infer_by_expr via grid-strde-loop & vector pool Lints #3158: Pull request #775 synchronize by hero78119
December 19, 2024 07:24 57s hero78119:feat/wit_infer_opt
hero78119:feat/wit_infer_opt
December 19, 2024 07:24 57s