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

Standard library support for guests (WIP) Lints #3037: Pull request #759 synchronize by matthiasgoergens
December 14, 2024 11:35 1m 50s matthias/saner
matthias/saner
December 14, 2024 11:35 1m 50s
Standard library support for guests (WIP) Lints #3036: Pull request #759 synchronize by matthiasgoergens
December 14, 2024 11:33 41s matthias/saner
matthias/saner
December 14, 2024 11:33 41s
Standard library support for guests (WIP) Lints #3035: Pull request #759 opened by matthiasgoergens
December 14, 2024 11:02 41s matthias/saner
matthias/saner
December 14, 2024 11:02 41s
Use built-in sum instead of writing our own ad-hoc version (#738) Lints #3034: Commit 74bb962 pushed by github-merge-queue bot
December 14, 2024 10:28 1m 1s master
master
December 14, 2024 10:28 1m 1s
Lints Lints #3033: Merge group checks requested
December 14, 2024 10:23 1m 7s
December 14, 2024 10:23 1m 7s
Remove riscv crate dependency Lints #3032: Pull request #758 opened by matthiasgoergens
December 14, 2024 10:07 1m 9s matthias/fewer-dependencies
matthias/fewer-dependencies
December 14, 2024 10:07 1m 9s
refactor: Remove Option wrapper around prog_data Lints #3031: Pull request #757 opened by matthiasgoergens
December 14, 2024 09:25 1m 2s matthias/simpler-types
matthias/simpler-types
December 14, 2024 09:25 1m 2s
Hint IO in the SDK Lints #3030: Pull request #631 synchronize by matthiasgoergens
December 14, 2024 09:22 1m 7s matthias/ceno_host
matthias/ceno_host
December 14, 2024 09:22 1m 7s
Explain conversion of AUIPC and LUI (#755) Lints #3029: Commit cb8543d pushed by github-merge-queue bot
December 14, 2024 04:32 1m 3s master
master
December 14, 2024 04:32 1m 3s
Lints Lints #3028: Merge group checks requested
December 14, 2024 04:27 1m 0s
December 14, 2024 04:27 1m 0s
Explain conversion of AUIPC and LUI Lints #3027: Pull request #755 synchronize by matthiasgoergens
December 14, 2024 03:27 59s matthias/explain-lui-and-auipc
matthias/explain-lui-and-auipc
December 14, 2024 03:27 59s
Explain conversion of AUIPC and LUI Lints #3026: Pull request #755 synchronize by matthiasgoergens
December 14, 2024 03:23 37s matthias/explain-lui-and-auipc
matthias/explain-lui-and-auipc
December 14, 2024 03:23 37s
Explain conversion of AUIPC and LUI Lints #3025: Pull request #755 synchronize by matthiasgoergens
December 14, 2024 03:23 28s matthias/explain-lui-and-auipc
matthias/explain-lui-and-auipc
December 14, 2024 03:23 28s
Explain conversion of AUIPC and LUI Lints #3024: Pull request #755 opened by matthiasgoergens
December 14, 2024 03:21 40s matthias/explain-lui-and-auipc
matthias/explain-lui-and-auipc
December 14, 2024 03:21 40s
Feat/Opcode Circuits for DIV, REM, and REMU opcodes Lints #3023: Pull request #596 synchronize by bgillesp
December 13, 2024 17:33 1m 6s Inversed-Tech:bg/div-rem-remu-opcodes
Inversed-Tech:bg/div-rem-remu-opcodes
December 13, 2024 17:33 1m 6s
Remove broken Make target clippy-all Lints #3022: Pull request #722 synchronize by matthiasgoergens
December 13, 2024 11:10 1m 0s matthias/remove-clippy-all
matthias/remove-clippy-all
December 13, 2024 11:10 1m 0s
Flatten crate structure again Lints #3021: Pull request #754 synchronize by matthiasgoergens
December 13, 2024 11:05 7m 12s matthias/flat-structure-again
matthias/flat-structure-again
December 13, 2024 11:05 7m 12s
Flatten crate structure again Lints #3020: Pull request #754 synchronize by matthiasgoergens
December 13, 2024 11:02 3m 8s matthias/flat-structure-again
matthias/flat-structure-again
December 13, 2024 11:02 3m 8s
CI with a slimmer cargo cache Lints #3019: Pull request #748 synchronize by matthiasgoergens
December 13, 2024 11:00 1m 1s matthias/cache-faster
matthias/cache-faster
December 13, 2024 11:00 1m 1s
Sorting example Lints #3018: Pull request #753 synchronize by matthiasgoergens
December 13, 2024 10:58 1m 15s matthias/sorting
matthias/sorting
December 13, 2024 10:58 1m 15s
Hint IO in the SDK Lints #3017: Pull request #631 synchronize by matthiasgoergens
December 13, 2024 10:56 1m 29s matthias/ceno_host
matthias/ceno_host
December 13, 2024 10:56 1m 29s
Flatten crate structure again Lints #3016: Pull request #754 synchronize by matthiasgoergens
December 13, 2024 10:17 1m 29s matthias/flat-structure-again
matthias/flat-structure-again
December 13, 2024 10:17 1m 29s
Flatten crate structure again Lints #3015: Pull request #754 opened by matthiasgoergens
December 13, 2024 10:17 20s matthias/flat-structure-again
matthias/flat-structure-again
December 13, 2024 10:17 20s
sync-platform: Configure the platform / emulator to match circuits (#… Lints #3014: Commit 0cd4234 pushed by github-merge-queue bot
December 13, 2024 10:08 1m 1s master
master
December 13, 2024 10:08 1m 1s
Upgrade plonky2 Lints #3013: Pull request #708 synchronize by matthiasgoergens
December 13, 2024 10:01 1m 24s matthias/upgrade-plonky2
matthias/upgrade-plonky2
December 13, 2024 10:01 1m 24s