Skip to content

Actions: scroll-tech/ceno

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
8,521 workflow runs
8,521 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Flatten crate structure again
Tests #3014: Pull request #754 opened by matthiasgoergens
December 13, 2024 10:17 19s matthias/flat-structure-again
December 13, 2024 10:17 19s
Flatten crate structure again
Lints #3015: Pull request #754 opened by matthiasgoergens
December 13, 2024 10:17 20s matthias/flat-structure-again
December 13, 2024 10:17 20s
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
December 13, 2024 10:08 1m 1s
December 13, 2024 10:08 3m 0s
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
Upgrade plonky2
Tests #3012: Pull request #708 synchronize by matthiasgoergens
December 13, 2024 10:01 3m 23s matthias/upgrade-plonky2
December 13, 2024 10:01 3m 23s
Upgrade plonky2
Lints #3013: Pull request #708 synchronize by matthiasgoergens
December 13, 2024 10:01 1m 24s matthias/upgrade-plonky2
December 13, 2024 10:01 1m 24s
Lints
Lints #3012: Merge group checks requested
December 13, 2024 10:00 1m 0s
December 13, 2024 10:00 1m 0s
Tests
Tests #3011: Merge group checks requested
December 13, 2024 10:00 3m 6s
December 13, 2024 10:00 3m 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
Lints #3011: Pull request #722 synchronize by matthiasgoergens
December 13, 2024 10:00 1m 1s matthias/remove-clippy-all
December 13, 2024 10:00 1m 1s
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
Remove broken Make target clippy-all
Tests #3010: Pull request #722 synchronize by matthiasgoergens
December 13, 2024 10:00 2m 59s matthias/remove-clippy-all
December 13, 2024 10:00 2m 59s
CI with a slimmer cargo cache
Lints #3010: Pull request #748 synchronize by matthiasgoergens
December 13, 2024 09:59 6m 33s matthias/cache-faster
December 13, 2024 09:59 6m 33s
CI with a slimmer cargo cache
Tests #3009: Pull request #748 synchronize by matthiasgoergens
December 13, 2024 09:59 6m 42s matthias/cache-faster
December 13, 2024 09:59 6m 42s
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
Lints #3009: Pull request #753 synchronize by matthiasgoergens
December 13, 2024 09:58 1m 35s matthias/sorting
December 13, 2024 09:58 1m 35s
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
Sorting example
Tests #3008: Pull request #753 synchronize by matthiasgoergens
December 13, 2024 09:58 3m 44s matthias/sorting
December 13, 2024 09:58 3m 44s
Speed up CI (#752)
Lints #3008: Commit 0a64371 pushed by github-merge-queue bot
December 13, 2024 09:49 6m 39s master
December 13, 2024 09:49 6m 39s
Speed up CI (#752)
Tests #3007: Commit 0a64371 pushed by github-merge-queue bot
December 13, 2024 09:49 6m 43s master
December 13, 2024 09:49 6m 43s
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
Lints
Lints #3007: Merge group checks requested
December 13, 2024 09:36 6m 35s
December 13, 2024 09:36 6m 35s