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

Hint IO in the SDK Lints #2987: Pull request #631 synchronize by matthiasgoergens
December 13, 2024 06:39 19m 13s matthias/ceno_host
matthias/ceno_host
December 13, 2024 06:39 19m 13s
Make cargo build work (#719) Lints #2986: Commit af836bf pushed by github-merge-queue bot
December 13, 2024 05:47 8m 19s master
master
December 13, 2024 05:47 8m 19s
CI with a slimmer cargo cache Lints #2985: Pull request #748 synchronize by matthiasgoergens
December 13, 2024 05:40 15m 3s matthias/cache-faster
matthias/cache-faster
December 13, 2024 05:40 15m 3s
Lints Lints #2984: Merge group checks requested
December 13, 2024 05:23 17m 37s
December 13, 2024 05:23 17m 37s
CI with a slimmer cargo cache Lints #2983: Pull request #748 opened by matthiasgoergens
December 13, 2024 05:15 9m 29s matthias/cache-faster
matthias/cache-faster
December 13, 2024 05:15 9m 29s
Make cargo build work Lints #2982: Pull request #719 synchronize by matthiasgoergens
December 13, 2024 04:42 35m 55s matthias/cargo-build
matthias/cargo-build
December 13, 2024 04:42 35m 55s
Make cargo build work Lints #2981: Pull request #719 synchronize by matthiasgoergens
December 13, 2024 04:42 25m 42s matthias/cargo-build
matthias/cargo-build
December 13, 2024 04:42 25m 42s
Make cargo build work Lints #2980: Pull request #719 synchronize by matthiasgoergens
December 13, 2024 04:31 30m 52s matthias/cargo-build
matthias/cargo-build
December 13, 2024 04:31 30m 52s
Remove broken Make target clippy-all Lints #2979: Pull request #722 synchronize by matthiasgoergens
December 13, 2024 04:30 26m 44s matthias/remove-clippy-all
matthias/remove-clippy-all
December 13, 2024 04:30 26m 44s
Implement the TODOs in the Harvard Architecture PR (#711) Lints #2978: Commit b58ef82 pushed by matthiasgoergens
December 13, 2024 04:29 15m 33s master
master
December 13, 2024 04:29 15m 33s
Make cargo build work Lints #2977: Pull request #719 synchronize by matthiasgoergens
December 13, 2024 04:26 26m 44s matthias/cargo-build
matthias/cargo-build
December 13, 2024 04:26 26m 44s
Make cargo build work Lints #2976: Pull request #719 synchronize by matthiasgoergens
December 13, 2024 04:18 14m 21s matthias/cargo-build
matthias/cargo-build
December 13, 2024 04:18 14m 21s
Implement the TODOs in the Harvard Architecture PR Lints #2975: Pull request #711 synchronize by matthiasgoergens
December 13, 2024 04:12 9m 0s matthias/harvard-architecture-todos
matthias/harvard-architecture-todos
December 13, 2024 04:12 9m 0s
Make cargo build work Lints #2974: Pull request #719 synchronize by lispc
December 13, 2024 04:09 2m 29s matthias/cargo-build
matthias/cargo-build
December 13, 2024 04:09 2m 29s
MPCS: Rename CommitmentWithData to CommitmentWithWitness & remove unn… Lints #2973: Commit 027f7b0 pushed by hero78119
December 13, 2024 02:00 29s master
master
December 13, 2024 02:00 29s
WHIR wrapper Lints #2972: Pull request #742 synchronize by yczhangsjtu
December 13, 2024 00:58 8m 1s feat/whir-wrapper
feat/whir-wrapper
December 13, 2024 00:58 8m 1s
MPCS: Rename CommitmentWithData to CommitmentWithWitness & remove unnecessary trait requirement. Lints #2971: Pull request #745 synchronize by yczhangsjtu
December 13, 2024 00:55 9m 45s feat/mpcs-comm-with-data-no-serialize
feat/mpcs-comm-with-data-no-serialize
December 13, 2024 00:55 9m 45s
MPCS: Rename CommitmentWithData to CommitmentWithWitness & remove unnecessary trait requirement. Lints #2970: Pull request #745 opened by yczhangsjtu
December 13, 2024 00:29 3m 17s feat/mpcs-comm-with-data-no-serialize
feat/mpcs-comm-with-data-no-serialize
December 13, 2024 00:29 3m 17s
optimize parallel version sumcheck Lints #2969: Pull request #743 synchronize by hero78119
December 12, 2024 14:51 31s hero78119:feat/grid-stride-loop-sumcheck
hero78119:feat/grid-stride-loop-sumcheck
December 12, 2024 14:51 31s
Upgrade plonky2 Lints #2968: Pull request #708 synchronize by matthiasgoergens
December 12, 2024 11:29 17m 24s matthias/upgrade-plonky2
matthias/upgrade-plonky2
December 12, 2024 11:29 17m 24s
Security-harden the guest's memory allocator Lints #2967: Pull request #726 synchronize by matthiasgoergens
December 12, 2024 11:28 5m 18s matthias/simplify-allocator
matthias/simplify-allocator
December 12, 2024 11:28 5m 18s
Refactor row major matrix (#624) Lints #2966: Commit 979ee30 pushed by mcalancea
December 12, 2024 11:21 26s master
master
December 12, 2024 11:21 26s
Refactor row major matrix Lints #2965: Pull request #624 synchronize by mcalancea
December 12, 2024 10:55 10m 30s cleanup/safe-row-major-matrix-variant
cleanup/safe-row-major-matrix-variant
December 12, 2024 10:55 10m 30s
Make cargo build work Lints #2964: Pull request #719 synchronize by matthiasgoergens
December 12, 2024 10:40 16m 41s matthias/cargo-build
matthias/cargo-build
December 12, 2024 10:40 16m 41s
Use ToExpr trait instead of ad-hoc expr functions Lints #2963: Pull request #736 synchronize by matthiasgoergens
December 12, 2024 10:25 21m 31s matthias/to-expr-instances
matthias/to-expr-instances
December 12, 2024 10:25 21m 31s