Skip to content

Actions: scroll-tech/ceno

Actions

Lints

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lints.yml
1,033 workflow run results
1,033 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Feat: Implement JAL opcode Lints #1033: Pull request #305 opened by bgillesp
October 3, 2024 21:26 17s feat/jal-opcode
feat/jal-opcode
October 3, 2024 21:26 17s
Implement SRL and SLL Lints #1032: Pull request #304 synchronize by zemse
October 3, 2024 21:22 12s zemse:srl
zemse:srl
October 3, 2024 21:22 12s
Implement SRL and SLL Lints #1031: Pull request #304 opened by zemse
October 3, 2024 21:19 17s zemse:srl
zemse:srl
October 3, 2024 21:19 17s
Update mul_add result type Lints #1030: Pull request #303 opened by zemse
October 3, 2024 21:18 1m 35s zemse:mul-add
zemse:mul-add
October 3, 2024 21:18 1m 35s
Refactor RISC-V instruction base types Lints #1029: Pull request #302 opened by bgillesp
October 3, 2024 19:49 1m 36s bg-refactor-instruction-types
bg-refactor-instruction-types
October 3, 2024 19:49 1m 36s
SLL Lints #1028: Pull request #298 synchronize by zemse
October 3, 2024 19:18 16s zemse:sll
zemse:sll
October 3, 2024 19:18 16s
Refactor on mul/mul_add gadget (#296) Lints #1027: Commit 25c9f2e pushed by hero78119
October 3, 2024 15:15 18s master
master
October 3, 2024 15:15 18s
Refactor on mul/mul_add gadget Lints #1026: Pull request #296 synchronize by hero78119
October 3, 2024 15:05 1m 33s bug/fix_mul_impl
bug/fix_mul_impl
October 3, 2024 15:05 1m 33s
Refactor on mul/mul_add gadget Lints #1025: Pull request #296 synchronize by hero78119
October 3, 2024 10:01 1m 34s bug/fix_mul_impl
bug/fix_mul_impl
October 3, 2024 10:01 1m 34s
Refactor on mul/mul_add gadget Lints #1024: Pull request #296 synchronize by hero78119
October 3, 2024 09:02 1m 34s bug/fix_mul_impl
bug/fix_mul_impl
October 3, 2024 09:02 1m 34s
Refactor on mul/mul_add gadget Lints #1023: Pull request #296 synchronize by hero78119
October 3, 2024 08:19 1m 38s bug/fix_mul_impl
bug/fix_mul_impl
October 3, 2024 08:19 1m 38s
Refactor on mul/mul_add gadget Lints #1022: Pull request #296 synchronize by hero78119
October 3, 2024 08:10 1m 50s bug/fix_mul_impl
bug/fix_mul_impl
October 3, 2024 08:10 1m 50s
unittest assertion on register value Lints #1021: Pull request #301 synchronize by hero78119
October 3, 2024 05:02 1m 40s feat/unittest_assertion_on_rd_value
feat/unittest_assertion_on_rd_value
October 3, 2024 05:02 1m 40s
unittest assertion on register value Lints #1020: Pull request #301 synchronize by hero78119
October 3, 2024 04:55 53s feat/unittest_assertion_on_rd_value
feat/unittest_assertion_on_rd_value
October 3, 2024 04:55 53s
unittest assertion on register value Lints #1019: Pull request #301 opened by hero78119
October 3, 2024 04:52 1m 15s feat/unittest_assertion_on_rd_value
feat/unittest_assertion_on_rd_value
October 3, 2024 04:52 1m 15s
impl Display for Expression (#299) Lints #1018: Commit 5b7b3de pushed by hero78119
October 2, 2024 16:03 17s master
master
October 2, 2024 16:03 17s
impl Display for Expression Lints #1017: Pull request #299 synchronize by hero78119
October 2, 2024 15:53 1m 34s zemse:mock-prover
zemse:mock-prover
October 2, 2024 15:53 1m 34s
impl Display for Expression Lints #1016: Pull request #299 synchronize by zemse
October 2, 2024 13:43 1m 35s zemse:mock-prover
zemse:mock-prover
October 2, 2024 13:43 1m 35s
Refactor on mul/mul_add gadget Lints #1015: Pull request #296 synchronize by hero78119
October 2, 2024 13:07 1m 33s bug/fix_mul_impl
bug/fix_mul_impl
October 2, 2024 13:07 1m 33s
Refactor on mul/mul_add gadget Lints #1014: Pull request #296 synchronize by hero78119
October 2, 2024 12:59 1m 37s bug/fix_mul_impl
bug/fix_mul_impl
October 2, 2024 12:59 1m 37s
Refactor on mul/mul_add gadget Lints #1013: Pull request #296 ready_for_review by hero78119
October 2, 2024 12:46 1m 12s bug/fix_mul_impl
bug/fix_mul_impl
October 2, 2024 12:46 1m 12s
Refactor on mul/mul_add gadget Lints #1012: Pull request #296 synchronize by hero78119
October 2, 2024 12:42 14s bug/fix_mul_impl
bug/fix_mul_impl
October 2, 2024 12:42 14s
Refactor on mul/mul_add gadget Lints #1011: Pull request #296 synchronize by hero78119
October 2, 2024 12:35 16s bug/fix_mul_impl
bug/fix_mul_impl
October 2, 2024 12:35 16s
impl Display for Expression Lints #1010: Pull request #299 opened by zemse
October 2, 2024 09:56 1m 36s zemse:mock-prover
zemse:mock-prover
October 2, 2024 09:56 1m 36s
SLL Lints #1009: Pull request #298 opened by zemse
October 2, 2024 09:52 15s zemse:sll
zemse:sll
October 2, 2024 09:52 15s