Skip to content

Actions: scroll-tech/ceno

Actions

Lints

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Clean up Circuit Builder Lints #2937: Pull request #741 opened by matthiasgoergens
December 12, 2024 07:59 2m 54s matthias/dev-2
matthias/dev-2
December 12, 2024 07:59 2m 54s
Feat/structural witin add Lints #2936: Pull request #740 opened by 10to4
December 12, 2024 07:43 7m 24s 10to4:feat/structural_witin_add
10to4:feat/structural_witin_add
December 12, 2024 07:43 7m 24s
Implement the TODOs in the Harvard Architecture PR Lints #2935: Pull request #711 synchronize by matthiasgoergens
December 12, 2024 06:53 22m 1s matthias/harvard-architecture-todos
matthias/harvard-architecture-todos
December 12, 2024 06:53 22m 1s
Remove unused and untested u128/i128 implementations (#737) Lints #2934: Commit acd2a0c pushed by matthiasgoergens
December 12, 2024 06:52 10m 0s master
master
December 12, 2024 06:52 10m 0s
Remove unused and broken strategy matrix Lints #2933: Pull request #725 synchronize by matthiasgoergens
December 12, 2024 06:52 20m 20s matthias/remove-target-stuff
matthias/remove-target-stuff
December 12, 2024 06:52 20m 20s
Security-harden the guest's memory allocator Lints #2932: Pull request #726 synchronize by matthiasgoergens
December 12, 2024 06:51 3m 27s matthias/simplify-allocator
matthias/simplify-allocator
December 12, 2024 06:51 3m 27s
Remove unused and untested u128/i128 implementations Lints #2931: Pull request #737 synchronize by matthiasgoergens
December 12, 2024 05:08 8m 2s matthias/remove.128
matthias/remove.128
December 12, 2024 05:08 8m 2s
Implement the TODOs in the Harvard Architecture PR Lints #2930: Pull request #711 synchronize by matthiasgoergens
December 12, 2024 04:42 20m 36s matthias/harvard-architecture-todos
matthias/harvard-architecture-todos
December 12, 2024 04:42 20m 36s
Use ToExpr trait instead of ad-hoc expr functions Lints #2929: Pull request #736 synchronize by matthiasgoergens
December 12, 2024 04:41 12m 50s matthias/to-expr-instances
matthias/to-expr-instances
December 12, 2024 04:41 12m 50s
Rename AssertLTConfig to AssertLtConfig (#731) Lints #2928: Commit 35b352e pushed by matthiasgoergens
December 12, 2024 04:39 9m 51s master
master
December 12, 2024 04:39 9m 51s
Remove broken features non_pow2_rayon_thread and riv64 (#723) Lints #2927: Commit 3bb18fe pushed by matthiasgoergens
December 12, 2024 04:34 2m 42s master
master
December 12, 2024 04:34 2m 42s
Feat/Opcode Circuits for DIV, REM, and REMU opcodes Lints #2926: Pull request #596 synchronize by bgillesp
December 12, 2024 04:14 21m 0s Inversed-Tech:bg/div-rem-remu-opcodes
Inversed-Tech:bg/div-rem-remu-opcodes
December 12, 2024 04:14 21m 0s
Remove broken features non_pow2_rayon_thread and riv64 Lints #2925: Pull request #723 synchronize by matthiasgoergens
December 12, 2024 04:03 19m 0s matthias/remove-broken-non_pow2_rayon_thread
matthias/remove-broken-non_pow2_rayon_thread
December 12, 2024 04:03 19m 0s
Rename AssertLTConfig to AssertLtConfig Lints #2924: Pull request #731 synchronize by matthiasgoergens
December 12, 2024 04:02 13m 39s matthias/rename-AssertLTConfig
matthias/rename-AssertLTConfig
December 12, 2024 04:02 13m 39s
Use ToExpr trait instead of ad-hoc expr functions Lints #2923: Pull request #736 synchronize by matthiasgoergens
December 12, 2024 03:52 8m 14s matthias/to-expr-instances
matthias/to-expr-instances
December 12, 2024 03:52 8m 14s
Security-harden the guest's memory allocator Lints #2922: Pull request #726 synchronize by matthiasgoergens
December 12, 2024 03:15 35m 38s matthias/simplify-allocator
matthias/simplify-allocator
December 12, 2024 03:15 35m 38s
Use built-in sum instead of writing our own ad-hoc version Lints #2921: Pull request #738 synchronize by matthiasgoergens
December 12, 2024 03:12 29m 33s mathias/use-sum
mathias/use-sum
December 12, 2024 03:12 29m 33s
Use ToExpr trait instead of ad-hoc expr functions Lints #2920: Pull request #736 synchronize by matthiasgoergens
December 12, 2024 03:01 38m 8s matthias/to-expr-instances
matthias/to-expr-instances
December 12, 2024 03:01 38m 8s
sync-platform: Configure the platform / emulator to match circuits Lints #2919: Pull request #735 synchronize by naure
December 12, 2024 02:38 50m 7s Inversed-Tech:sync-platform
Inversed-Tech:sync-platform
December 12, 2024 02:38 50m 7s
sync-platform: Configure the platform / emulator to match circuits Lints #2918: Pull request #735 synchronize by naure
December 12, 2024 02:37 42m 0s Inversed-Tech:sync-platform
Inversed-Tech:sync-platform
December 12, 2024 02:37 42m 0s
sync-platform: Configure the platform / emulator to match circuits Lints #2917: Pull request #735 synchronize by naure
December 12, 2024 02:34 35m 34s Inversed-Tech:sync-platform
Inversed-Tech:sync-platform
December 12, 2024 02:34 35m 34s
Use built-in sum instead of writing our own ad-hoc version Lints #2916: Pull request #738 opened by matthiasgoergens
December 12, 2024 02:34 19m 56s mathias/use-sum
mathias/use-sum
December 12, 2024 02:34 19m 56s
Use ToExpr trait instead of ad-hoc expr functions Lints #2915: Pull request #736 synchronize by matthiasgoergens
December 12, 2024 02:31 18m 29s matthias/to-expr-instances
matthias/to-expr-instances
December 12, 2024 02:31 18m 29s
Use ToExpr trait instead of ad-hoc expr functions Lints #2914: Pull request #736 synchronize by matthiasgoergens
December 12, 2024 02:27 10m 15s matthias/to-expr-instances
matthias/to-expr-instances
December 12, 2024 02:27 10m 15s
Remove unused and untested u128/i128 implementations Lints #2913: Pull request #737 opened by matthiasgoergens
December 12, 2024 02:14 10m 45s matthias/remove.128
matthias/remove.128
December 12, 2024 02:14 10m 45s