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

improve debugging: add sanity check to opcode prover Lints #908: Pull request #279 opened by hero78119
September 25, 2024 09:38 1m 16s feat/debug
feat/debug
September 25, 2024 09:38 1m 16s
Feat/#135 SLTU opcode Lints #907: Pull request #278 opened by KimiWu123
September 25, 2024 09:06 15s feat/#135-SLTU
feat/#135-SLTU
September 25, 2024 09:06 15s
i_insn config and SRLI opcode (#229) Lints #906: Commit 0e472dc pushed by hero78119
September 25, 2024 08:26 14s master
master
September 25, 2024 08:26 14s
i_insn config and SRLI opcode Lints #905: Pull request #229 synchronize by zemse
September 25, 2024 08:08 1m 32s zemse:srli
zemse:srli
September 25, 2024 08:08 1m 32s
i_insn config and SRLI opcode Lints #904: Pull request #229 synchronize by zemse
September 25, 2024 07:54 1m 27s zemse:srli
zemse:srli
September 25, 2024 07:54 1m 27s
i_insn config and SRLI opcode Lints #903: Pull request #229 synchronize by hero78119
September 25, 2024 07:28 1m 31s zemse:srli
zemse:srli
September 25, 2024 07:28 1m 31s
i_insn config and SRLI opcode Lints #902: Pull request #229 synchronize by hero78119
September 25, 2024 07:26 1m 10s zemse:srli
zemse:srli
September 25, 2024 07:26 1m 10s
i_insn config and SRLI opcode Lints #901: Pull request #229 synchronize by hero78119
September 25, 2024 07:20 1m 6s zemse:srli
zemse:srli
September 25, 2024 07:20 1m 6s
feat/#132 divu opcode (#266) Lints #900: Commit cf20fb0 pushed by KimiWu123
September 25, 2024 05:32 13s master
master
September 25, 2024 05:32 13s
feat/#132 divu opcode Lints #899: Pull request #266 synchronize by hero78119
September 25, 2024 05:03 1m 25s feat/#132-opcode-DIVU
feat/#132-opcode-DIVU
September 25, 2024 05:03 1m 25s
pass integration test workaround (#276) Lints #898: Commit aadf98e pushed by chaosma
September 25, 2024 04:58 14s master
master
September 25, 2024 04:58 14s
pass integration test workaround Lints #897: Pull request #276 opened by chaosma
September 25, 2024 04:42 1m 29s integration_test
integration_test
September 25, 2024 04:42 1m 29s
feat/#132 divu opcode Lints #896: Pull request #266 synchronize by hero78119
September 25, 2024 02:59 1m 22s feat/#132-opcode-DIVU
feat/#132-opcode-DIVU
September 25, 2024 02:59 1m 22s
feat/#132 divu opcode Lints #895: Pull request #266 synchronize by hero78119
September 25, 2024 02:43 1m 26s feat/#132-opcode-DIVU
feat/#132-opcode-DIVU
September 25, 2024 02:43 1m 26s
feat/#132 divu opcode Lints #894: Pull request #266 synchronize by KimiWu123
September 25, 2024 02:20 1m 33s feat/#132-opcode-DIVU
feat/#132-opcode-DIVU
September 25, 2024 02:20 1m 33s
feat/#132 divu opcode Lints #893: Pull request #266 synchronize by KimiWu123
September 25, 2024 02:17 1m 24s feat/#132-opcode-DIVU
feat/#132-opcode-DIVU
September 25, 2024 02:17 1m 24s
feat(risc_add): add blt e2e test (#249) Lints #892: Commit 67a3a65 pushed by chaosma
September 25, 2024 02:14 14s master
master
September 25, 2024 02:14 14s
feat(risc_add): add blt e2e test Lints #891: Pull request #249 synchronize by naure
September 24, 2024 18:42 1m 30s blt_e2e
blt_e2e
September 24, 2024 18:42 1m 30s
feat(risc_add): add blt e2e test Lints #890: Pull request #249 synchronize by naure
September 24, 2024 18:41 1m 11s blt_e2e
blt_e2e
September 24, 2024 18:41 1m 11s
Feat: Ecall/Halt Lints #889: Pull request #258 synchronize by kunxian-xia
September 24, 2024 16:19 16s feat/ecall_halt
feat/ecall_halt
September 24, 2024 16:19 16s
Feat: Ecall/Halt Lints #888: Pull request #258 synchronize by kunxian-xia
September 24, 2024 16:17 14s feat/ecall_halt
feat/ecall_halt
September 24, 2024 16:17 14s
i_insn config and SRLI opcode Lints #887: Pull request #229 synchronize by zemse
September 24, 2024 15:45 1m 35s zemse:srli
zemse:srli
September 24, 2024 15:45 1m 35s
Monomials with ScaledSum Lints #886: Pull request #275 synchronize by naure
September 24, 2024 15:45 1m 33s monomial-mockprover
monomial-mockprover
September 24, 2024 15:45 1m 33s
feat(risc_add): add blt e2e test Lints #885: Pull request #249 synchronize by chaosma
September 24, 2024 15:00 1m 16s blt_e2e
blt_e2e
September 24, 2024 15:00 1m 16s
BEQ BNE Circuit (#257) Lints #884: Commit 3f54ed4 pushed by naure
September 24, 2024 13:43 16s master
master
September 24, 2024 13:43 16s