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

Lints Lints #3012: Merge group checks requested
December 13, 2024 10:00 1m 0s
December 13, 2024 10:00 1m 0s
Remove broken Make target clippy-all Lints #3011: Pull request #722 synchronize by matthiasgoergens
December 13, 2024 10:00 1m 1s matthias/remove-clippy-all
matthias/remove-clippy-all
December 13, 2024 10:00 1m 1s
CI with a slimmer cargo cache Lints #3010: Pull request #748 synchronize by matthiasgoergens
December 13, 2024 09:59 6m 33s matthias/cache-faster
matthias/cache-faster
December 13, 2024 09:59 6m 33s
Sorting example Lints #3009: Pull request #753 synchronize by matthiasgoergens
December 13, 2024 09:58 1m 35s matthias/sorting
matthias/sorting
December 13, 2024 09:58 1m 35s
Speed up CI (#752) Lints #3008: Commit 0a64371 pushed by github-merge-queue bot
December 13, 2024 09:49 6m 39s master
master
December 13, 2024 09:49 6m 39s
Lints Lints #3007: Merge group checks requested
December 13, 2024 09:36 6m 35s
December 13, 2024 09:36 6m 35s
Fix InsnKind in SLT (#750) Lints #3006: Commit 7ea23d4 pushed by github-merge-queue bot
December 13, 2024 09:31 4m 49s master
master
December 13, 2024 09:31 4m 49s
Sorting example Lints #3005: Pull request #753 synchronize by matthiasgoergens
December 13, 2024 09:18 19m 38s matthias/sorting
matthias/sorting
December 13, 2024 09:18 19m 38s
Sorting example Lints #3004: Pull request #753 synchronize by matthiasgoergens
December 13, 2024 09:15 19m 28s matthias/sorting
matthias/sorting
December 13, 2024 09:15 19m 28s
Speed up CI Lints #3003: Pull request #752 synchronize by matthiasgoergens
December 13, 2024 08:56 1m 19s matthias/send-lints-to-github
matthias/send-lints-to-github
December 13, 2024 08:56 1m 19s
Speed up CI Lints #3002: Pull request #752 synchronize by matthiasgoergens
December 13, 2024 08:56 43s matthias/send-lints-to-github
matthias/send-lints-to-github
December 13, 2024 08:56 43s
Lints Lints #3001: Merge group checks requested
December 13, 2024 08:53 37m 25s
December 13, 2024 08:53 37m 25s
Sorting example Lints #3000: Pull request #753 opened by matthiasgoergens
December 13, 2024 08:48 20m 42s matthias/sorting
matthias/sorting
December 13, 2024 08:48 20m 42s
Speed up CI Lints #2999: Pull request #752 opened by matthiasgoergens
December 13, 2024 08:35 6m 43s matthias/send-lints-to-github
matthias/send-lints-to-github
December 13, 2024 08:35 6m 43s
Lints Lints #2998: Merge group checks requested
December 13, 2024 07:50 57m 28s
December 13, 2024 07:50 57m 28s
Lints Lints #2997: Merge group checks requested
December 13, 2024 07:39 1h 6m 21s
December 13, 2024 07:39 1h 6m 21s
Fix InsnKind in SLT Lints #2996: Pull request #750 synchronize by zemse
December 13, 2024 07:36 50m 34s 746-bug-fix
746-bug-fix
December 13, 2024 07:36 50m 34s
Hint IO in the SDK Lints #2995: Pull request #631 synchronize by matthiasgoergens
December 13, 2024 07:35 33m 56s matthias/ceno_host
matthias/ceno_host
December 13, 2024 07:35 33m 56s
Ecall demo with Keccak-f Lints #2994: Pull request #717 synchronize by naure
December 13, 2024 07:33 33m 14s Inversed-Tech:ecall-keccak
Inversed-Tech:ecall-keccak
December 13, 2024 07:33 33m 14s
Fix InsnKind in SLT Lints #2993: Pull request #750 opened by zemse
December 13, 2024 07:33 25m 9s 746-bug-fix
746-bug-fix
December 13, 2024 07:33 25m 9s
Ecall demo with Keccak-f Lints #2992: Pull request #717 synchronize by naure
December 13, 2024 07:31 16m 16s Inversed-Tech:ecall-keccak
Inversed-Tech:ecall-keccak
December 13, 2024 07:31 16m 16s
Hint IO in the SDK Lints #2991: Pull request #631 synchronize by matthiasgoergens
December 13, 2024 07:28 11m 4s matthias/ceno_host
matthias/ceno_host
December 13, 2024 07:28 11m 4s
Hint IO in the SDK Lints #2990: Pull request #631 synchronize by matthiasgoergens
December 13, 2024 07:10 13m 19s matthias/ceno_host
matthias/ceno_host
December 13, 2024 07:10 13m 19s
Hint IO in the SDK Lints #2989: Pull request #631 synchronize by matthiasgoergens
December 13, 2024 07:09 9m 27s matthias/ceno_host
matthias/ceno_host
December 13, 2024 07:09 9m 27s
sync-platform: Configure the platform / emulator to match circuits Lints #2988: Pull request #735 synchronize by naure
December 13, 2024 06:47 31m 10s Inversed-Tech:sync-platform
Inversed-Tech:sync-platform
December 13, 2024 06:47 31m 10s