Skip to content

Actions: scroll-tech/ceno

Actions

Lints

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Feat/structural witin add Lints #2947: Pull request #740 synchronize by 10to4
December 12, 2024 08:53 25m 51s 10to4:feat/structural_witin_add
10to4:feat/structural_witin_add
December 12, 2024 08:53 25m 51s
Implement the TODOs in the Harvard Architecture PR Lints #2946: Pull request #711 synchronize by matthiasgoergens
December 12, 2024 08:52 22m 11s matthias/harvard-architecture-todos
matthias/harvard-architecture-todos
December 12, 2024 08:52 22m 11s
Implement the TODOs in the Harvard Architecture PR Lints #2945: Pull request #711 synchronize by matthiasgoergens
December 12, 2024 08:51 21m 19s matthias/harvard-architecture-todos
matthias/harvard-architecture-todos
December 12, 2024 08:51 21m 19s
Implement the TODOs in the Harvard Architecture PR Lints #2944: Pull request #711 synchronize by matthiasgoergens
December 12, 2024 08:51 21m 58s matthias/harvard-architecture-todos
matthias/harvard-architecture-todos
December 12, 2024 08:51 21m 58s
Implement the TODOs in the Harvard Architecture PR Lints #2943: Pull request #711 synchronize by matthiasgoergens
December 12, 2024 08:49 22m 40s matthias/harvard-architecture-todos
matthias/harvard-architecture-todos
December 12, 2024 08:49 22m 40s
Make cargo build work Lints #2942: Pull request #719 synchronize by matthiasgoergens
December 12, 2024 08:45 24m 14s matthias/cargo-build
matthias/cargo-build
December 12, 2024 08:45 24m 14s
Remove unused and broken strategy matrix Lints #2941: Pull request #725 synchronize by matthiasgoergens
December 12, 2024 08:43 16m 58s matthias/remove-target-stuff
matthias/remove-target-stuff
December 12, 2024 08:43 16m 58s
Property based testing Lints #2940: Pull request #667 synchronize by matthiasgoergens
December 12, 2024 08:35 8m 48s matthias/proptest
matthias/proptest
December 12, 2024 08:35 8m 48s
Feat/structural witin add Lints #2939: Pull request #740 synchronize by 10to4
December 12, 2024 08:30 9m 3s 10to4:feat/structural_witin_add
10to4:feat/structural_witin_add
December 12, 2024 08:30 9m 3s
Refactor row major matrix Lints #2938: Pull request #624 synchronize by mcalancea
December 12, 2024 08:19 2m 56s cleanup/safe-row-major-matrix-variant
cleanup/safe-row-major-matrix-variant
December 12, 2024 08:19 2m 56s
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