Skip to content

Actions: scroll-tech/ceno

Actions

Integrations

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
integration.yml
1,459 workflow run results
1,459 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

SRAI Integrations #1309: Pull request #463 synchronize by zemse
October 28, 2024 09:58 2m 45s zemse:srai
zemse:srai
October 28, 2024 09:58 2m 45s
Remove unnecessary goldilocks patch (#481) Integrations #1308: Commit ef5caa9 pushed by matthiasgoergens
October 28, 2024 09:46 2m 41s master
master
October 28, 2024 09:46 2m 41s
Feat: add generic impl for load instructions Integrations #1307: Pull request #455 synchronize by kunxian-xia
October 28, 2024 09:37 2m 56s feat/load_mem
feat/load_mem
October 28, 2024 09:37 2m 56s
Integration test Integrations #1306: Pull request #368 synchronize by kunxian-xia
October 28, 2024 09:31 14s feat/guest-example
feat/guest-example
October 28, 2024 09:31 14s
Simplify debug naming of variables in constraints Integrations #1305: Pull request #435 synchronize by matthiasgoergens
October 28, 2024 09:27 2m 39s matthias/simplify-circuit-builder
matthias/simplify-circuit-builder
October 28, 2024 09:27 2m 39s
Remove redundant Result handling Integrations #1304: Pull request #466 synchronize by matthiasgoergens
October 28, 2024 09:20 2m 48s matthias/remove-unwrap
matthias/remove-unwrap
October 28, 2024 09:20 2m 48s
Remove redundant Result handling Integrations #1303: Pull request #466 synchronize by matthiasgoergens
October 28, 2024 09:12 1m 1s matthias/remove-unwrap
matthias/remove-unwrap
October 28, 2024 09:12 1m 1s
Improvements to errors from mock prover (#480) Integrations #1302: Commit d0ab3af pushed by matthiasgoergens
October 28, 2024 09:09 2m 44s master
master
October 28, 2024 09:09 2m 44s
Simplify thread pool configuration (#464) Integrations #1301: Commit 1b8d622 pushed by matthiasgoergens
October 28, 2024 08:54 6m 15s master
master
October 28, 2024 08:54 6m 15s
Enable clippy check for Cargo.toml files Integrations #1300: Pull request #401 synchronize by matthiasgoergens
October 28, 2024 08:53 6m 24s matthias/cargo-clippy
matthias/cargo-clippy
October 28, 2024 08:53 6m 24s
Remove unnecessary goldilocks patch Integrations #1299: Pull request #481 opened by matthiasgoergens
October 28, 2024 08:43 2m 40s matthias/less-patching
matthias/less-patching
October 28, 2024 08:43 2m 40s
SRAI Integrations #1298: Pull request #463 synchronize by zemse
October 28, 2024 08:27 2m 38s zemse:srai
zemse:srai
October 28, 2024 08:27 2m 38s
Improvements to errors from mock prover Integrations #1297: Pull request #480 opened by zemse
October 28, 2024 08:25 2m 57s zemse:mock-prover
zemse:mock-prover
October 28, 2024 08:25 2m 57s
SRAI Integrations #1296: Pull request #463 synchronize by zemse
October 28, 2024 08:23 2m 37s zemse:srai
zemse:srai
October 28, 2024 08:23 2m 37s
SRAI Integrations #1295: Pull request #463 synchronize by zemse
October 28, 2024 08:19 2m 37s zemse:srai
zemse:srai
October 28, 2024 08:19 2m 37s
More 'mixed' instances to simplify Expression arithmetic Integrations #1294: Pull request #479 synchronize by matthiasgoergens
October 28, 2024 08:10 2m 41s matthias/toexpr
matthias/toexpr
October 28, 2024 08:10 2m 41s
More 'mixed' instances to simplify Expression arithmetic Integrations #1293: Pull request #479 synchronize by matthiasgoergens
October 28, 2024 08:08 2m 54s matthias/toexpr
matthias/toexpr
October 28, 2024 08:08 2m 54s
More 'mixed' instances to simplify Expression arithmetic Integrations #1292: Pull request #479 synchronize by matthiasgoergens
October 28, 2024 08:05 2m 42s matthias/toexpr
matthias/toexpr
October 28, 2024 08:05 2m 42s
More 'mixed' instances to simplify Expression arithmetic Integrations #1291: Pull request #479 opened by matthiasgoergens
October 28, 2024 07:59 2m 36s matthias/toexpr
matthias/toexpr
October 28, 2024 07:59 2m 36s
Bump anyhow from 1.0.90 to 1.0.91 (#478) Integrations #1290: Commit e3ce193 pushed by dependabot bot
October 28, 2024 07:36 6m 25s master
master
October 28, 2024 07:36 6m 25s
Bump serde from 1.0.210 to 1.0.213 (#477) Integrations #1289: Commit 17ae298 pushed by dependabot bot
October 28, 2024 07:35 6m 18s master
master
October 28, 2024 07:35 6m 18s
Remove useless macro (#467) Integrations #1288: Commit 0c56fc9 pushed by matthiasgoergens
October 28, 2024 07:22 2m 45s master
master
October 28, 2024 07:22 2m 45s
SRAI Integrations #1287: Pull request #463 synchronize by zemse
October 28, 2024 06:30 2m 51s zemse:srai
zemse:srai
October 28, 2024 06:30 2m 51s
Bump anyhow from 1.0.90 to 1.0.91 Integrations #1286: Pull request #478 opened by dependabot bot
October 28, 2024 06:23 6m 34s dependabot/cargo/anyhow-1.0.91
dependabot/cargo/anyhow-1.0.91
October 28, 2024 06:23 6m 34s
Bump serde from 1.0.210 to 1.0.213 Integrations #1285: Pull request #477 opened by dependabot bot
October 28, 2024 06:23 6m 20s dependabot/cargo/serde-1.0.213
dependabot/cargo/serde-1.0.213
October 28, 2024 06:23 6m 20s