Skip to content

Actions: scroll-tech/ceno

Actions

Lints

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

refactor assert_satisfied_full Lints #3229: Pull request #649 synchronize by zemse
December 29, 2024 17:45 1m 23s z/mock-prover
z/mock-prover
December 29, 2024 17:45 1m 23s
Suggestions for 'refactor assert_satisfied_full' Lints #3228: Pull request #793 opened by matthiasgoergens
December 29, 2024 08:38 1m 23s matthias/z/mock-prover
matthias/z/mock-prover
December 29, 2024 08:38 1m 23s
More standard library functions (#784) Lints #3227: Commit 97237a1 pushed by github-merge-queue bot
December 29, 2024 06:50 1m 41s master
master
December 29, 2024 06:50 1m 41s
Lints Lints #3226: Merge group checks requested
December 29, 2024 06:45 1m 52s
December 29, 2024 06:45 1m 52s
refactor assert_satisfied_full Lints #3225: Pull request #649 synchronize by zemse
December 28, 2024 12:34 1m 29s z/mock-prover
z/mock-prover
December 28, 2024 12:34 1m 29s
refactor assert_satisfied_full Lints #3224: Pull request #649 synchronize by zemse
December 28, 2024 12:07 1m 22s z/mock-prover
z/mock-prover
December 28, 2024 12:07 1m 22s
refactor assert_satisfied_full Lints #3223: Pull request #649 synchronize by zemse
December 27, 2024 09:50 1m 22s z/mock-prover
z/mock-prover
December 27, 2024 09:50 1m 22s
feat: Merge blt+bltu circuits Lints #3222: Pull request #792 opened by varun-doshi
December 27, 2024 07:46 Action required varun-doshi:varun/cleanup-circuit
varun-doshi:varun/cleanup-circuit
December 27, 2024 07:46 Action required
refactor to replace v1 by v2 and cleanup suffix Lints #3221: Pull request #791 opened by hero78119
December 27, 2024 03:01 1m 35s hero78119:feat/cleanup
hero78119:feat/cleanup
December 27, 2024 03:01 1m 35s
Feat/structural witin add (#740) Lints #3220: Commit f1de609 pushed by github-merge-queue bot
December 26, 2024 05:43 1m 28s master
master
December 26, 2024 05:43 1m 28s
Lints Lints #3219: Merge group checks requested
December 26, 2024 05:38 1m 30s
December 26, 2024 05:38 1m 30s
Feat/structural witin add Lints #3218: Pull request #740 synchronize by matthiasgoergens
December 26, 2024 05:34 1m 30s 10to4:feat/structural_witin_add
10to4:feat/structural_witin_add
December 26, 2024 05:34 1m 30s
Feat/structural witin add Lints #3217: Pull request #740 synchronize by matthiasgoergens
December 26, 2024 05:32 1m 22s 10to4:feat/structural_witin_add
10to4:feat/structural_witin_add
December 26, 2024 05:32 1m 22s
Feat/structural witin add Lints #3216: Pull request #740 synchronize by matthiasgoergens
December 26, 2024 05:30 1m 24s 10to4:feat/structural_witin_add
10to4:feat/structural_witin_add
December 26, 2024 05:30 1m 24s
Feat/structural witin add Lints #3215: Pull request #740 synchronize by matthiasgoergens
December 26, 2024 05:28 1m 21s 10to4:feat/structural_witin_add
10to4:feat/structural_witin_add
December 26, 2024 05:28 1m 21s
Feat/structural witin add Lints #3214: Pull request #740 synchronize by matthiasgoergens
December 26, 2024 05:25 1m 27s 10to4:feat/structural_witin_add
10to4:feat/structural_witin_add
December 26, 2024 05:25 1m 27s
Feat/structural witin add Lints #3213: Pull request #740 synchronize by matthiasgoergens
December 26, 2024 05:19 1m 26s 10to4:feat/structural_witin_add
10to4:feat/structural_witin_add
December 26, 2024 05:19 1m 26s
refactor: less cloning Lints #3212: Pull request #790 opened by matthiasgoergens
December 26, 2024 04:51 1m 23s matthias/less-cloning-2
matthias/less-cloning-2
December 26, 2024 04:51 1m 23s
Feat/structural witin add Lints #3211: Pull request #740 synchronize by 10to4
December 24, 2024 08:23 1m 25s 10to4:feat/structural_witin_add
10to4:feat/structural_witin_add
December 24, 2024 08:23 1m 25s
Feat/structural witin add Lints #3210: Pull request #740 synchronize by 10to4
December 24, 2024 08:02 1m 32s 10to4:feat/structural_witin_add
10to4:feat/structural_witin_add
December 24, 2024 08:02 1m 32s
Bump env_logger from 0.11.5 to 0.11.6 (#783) Lints #3209: Commit 4d3948f pushed by github-merge-queue bot
December 24, 2024 03:47 1m 34s master
master
December 24, 2024 03:47 1m 34s
Bump serde_json from 1.0.133 to 1.0.134 (#781) Lints #3208: Commit b70b9f7 pushed by github-merge-queue bot
December 24, 2024 03:43 1m 36s master
master
December 24, 2024 03:43 1m 36s
Lints Lints #3207: Merge group checks requested
December 24, 2024 03:34 1m 51s
December 24, 2024 03:34 1m 51s
Lints Lints #3206: Merge group checks requested
December 24, 2024 03:34 1m 46s
December 24, 2024 03:34 1m 46s
Lints Lints #3205: Merge group checks requested
December 24, 2024 03:34 1m 48s
December 24, 2024 03:34 1m 48s