Skip to content

Actions: scroll-tech/ceno

Integrations

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
2,415 workflow runs
2,415 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove broken Make target clippy-all
Integrations #2425: Pull request #722 synchronize by matthiasgoergens
December 13, 2024 11:10 8m 30s matthias/remove-clippy-all
December 13, 2024 11:10 8m 30s
Flatten crate structure again
Integrations #2424: Pull request #754 synchronize by matthiasgoergens
December 13, 2024 11:05 9m 28s matthias/flat-structure-again
December 13, 2024 11:05 9m 28s
Flatten crate structure again
Integrations #2423: Pull request #754 synchronize by matthiasgoergens
December 13, 2024 11:02 2m 54s matthias/flat-structure-again
December 13, 2024 11:02 2m 54s
CI with a slimmer cargo cache
Integrations #2422: Pull request #748 synchronize by matthiasgoergens
December 13, 2024 11:00 9m 35s matthias/cache-faster
December 13, 2024 11:00 9m 35s
Sorting example
Integrations #2421: Pull request #753 synchronize by matthiasgoergens
December 13, 2024 10:58 7m 35s matthias/sorting
December 13, 2024 10:58 7m 35s
Hint IO in the SDK
Integrations #2420: Pull request #631 synchronize by matthiasgoergens
December 13, 2024 10:56 5m 12s matthias/ceno_host
December 13, 2024 10:56 5m 12s
Flatten crate structure again
Integrations #2419: Pull request #754 synchronize by matthiasgoergens
December 13, 2024 10:17 4m 26s matthias/flat-structure-again
December 13, 2024 10:17 4m 26s
Flatten crate structure again
Integrations #2418: Pull request #754 opened by matthiasgoergens
December 13, 2024 10:17 15s matthias/flat-structure-again
December 13, 2024 10:17 15s
sync-platform: Configure the platform / emulator to match circuits (#…
Integrations #2417: Commit 0cd4234 pushed by github-merge-queue bot
December 13, 2024 10:08 3m 45s master
December 13, 2024 10:08 3m 45s
Upgrade plonky2
Integrations #2416: Pull request #708 synchronize by matthiasgoergens
December 13, 2024 10:01 11m 6s matthias/upgrade-plonky2
December 13, 2024 10:01 11m 6s
Integrations
Integrations #2415: Merge group checks requested
December 13, 2024 10:00 7m 31s
December 13, 2024 10:00 7m 31s
Remove broken Make target clippy-all
Integrations #2414: Pull request #722 synchronize by matthiasgoergens
December 13, 2024 10:00 3m 53s matthias/remove-clippy-all
December 13, 2024 10:00 3m 53s
CI with a slimmer cargo cache
Integrations #2413: Pull request #748 synchronize by matthiasgoergens
December 13, 2024 09:59 4m 46s matthias/cache-faster
December 13, 2024 09:59 4m 46s
Sorting example
Integrations #2412: Pull request #753 synchronize by matthiasgoergens
December 13, 2024 09:58 4m 16s matthias/sorting
December 13, 2024 09:58 4m 16s
Speed up CI (#752)
Integrations #2411: Commit 0a64371 pushed by github-merge-queue bot
December 13, 2024 09:49 16s master
December 13, 2024 09:49 16s
Integrations
Integrations #2410: Merge group checks requested
December 13, 2024 09:36 12m 7s
December 13, 2024 09:36 12m 7s
Fix InsnKind in SLT (#750)
Integrations #2409: Commit 7ea23d4 pushed by github-merge-queue bot
December 13, 2024 09:31 5m 14s master
December 13, 2024 09:31 5m 14s
Sorting example
Integrations #2408: Pull request #753 synchronize by matthiasgoergens
December 13, 2024 09:18 26m 13s matthias/sorting
December 13, 2024 09:18 26m 13s
Sorting example
Integrations #2407: Pull request #753 synchronize by matthiasgoergens
December 13, 2024 09:15 19m 52s matthias/sorting
December 13, 2024 09:15 19m 52s
Speed up CI
Integrations #2406: Pull request #752 synchronize by matthiasgoergens
December 13, 2024 08:56 37m 55s matthias/send-lints-to-github
December 13, 2024 08:56 37m 55s
Speed up CI
Integrations #2405: Pull request #752 synchronize by matthiasgoergens
December 13, 2024 08:56 32s matthias/send-lints-to-github
December 13, 2024 08:56 32s
Integrations
Integrations #2404: Merge group checks requested
December 13, 2024 08:53 33m 23s
December 13, 2024 08:53 33m 23s
Sorting example
Integrations #2403: Pull request #753 opened by matthiasgoergens
December 13, 2024 08:48 26m 56s matthias/sorting
December 13, 2024 08:48 26m 56s
Speed up CI
Integrations #2402: Pull request #752 opened by matthiasgoergens
December 13, 2024 08:35 24m 6s matthias/send-lints-to-github
December 13, 2024 08:35 24m 6s