Skip to content

Actions: scroll-tech/ceno

Actions

Integrations

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
integration.yml
2,891 workflow runs
2,891 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

bn254_syscalls Integrations #2909: Pull request #828 synchronize by mcalancea
February 26, 2025 14:43 5m 1s Inversed-Tech:mihai/bn254-syscalls
Inversed-Tech:mihai/bn254-syscalls
February 26, 2025 14:43 5m 1s
quadratic_sorting and is_prime benchmarks Integrations #2908: Pull request #813 synchronize by mcalancea
February 26, 2025 14:23 4m 58s Inversed-Tech:mihai/new-benchmarks
Inversed-Tech:mihai/new-benchmarks
February 26, 2025 14:23 4m 58s
add whir as a crate in ceno via git subtree (#841) Integrations #2907: Commit 6d764ca pushed by github-merge-queue bot
February 26, 2025 09:43 17s master
master
February 26, 2025 09:43 17s
Integrations Integrations #2906: Merge group checks requested
February 26, 2025 09:37 4m 57s
February 26, 2025 09:37 4m 57s
add whir as a crate in ceno via git subtree Integrations #2905: Pull request #841 opened by hero78119
February 26, 2025 08:55 4m 58s hero78119:feat/whir-wrapper
hero78119:feat/whir-wrapper
February 26, 2025 08:55 4m 58s
WHIR wrapper (#742) Integrations #2904: Commit 59e74dc pushed by github-merge-queue bot
February 26, 2025 08:35 15s master
master
February 26, 2025 08:35 15s
Integrations Integrations #2903: Merge group checks requested
February 26, 2025 08:24 4m 57s
February 26, 2025 08:24 4m 57s
add whir as a crate in ceno via git subtree Integrations #2902: Pull request #840 synchronize by hero78119
February 26, 2025 07:58 4m 52s hero78119:feat/whir-wrapper
hero78119:feat/whir-wrapper
February 26, 2025 07:58 4m 52s
add whir as a crate in ceno via git subtree Integrations #2901: Pull request #840 synchronize by hero78119
February 26, 2025 07:35 4m 56s hero78119:feat/whir-wrapper
hero78119:feat/whir-wrapper
February 26, 2025 07:35 4m 56s
add whir as a crate in ceno via git subtree Integrations #2900: Pull request #840 synchronize by hero78119
February 26, 2025 07:34 1m 11s hero78119:feat/whir-wrapper
hero78119:feat/whir-wrapper
February 26, 2025 07:34 1m 11s
add whir as a crate in ceno via git subtree Integrations #2899: Pull request #840 synchronize by hero78119
February 26, 2025 07:32 2m 37s hero78119:feat/whir-wrapper
hero78119:feat/whir-wrapper
February 26, 2025 07:32 2m 37s
add whir as a crate in ceno via git subtree Integrations #2898: Pull request #840 synchronize by hero78119
February 26, 2025 07:00 4m 48s hero78119:feat/whir-wrapper
hero78119:feat/whir-wrapper
February 26, 2025 07:00 4m 48s
add whir as a crate in ceno via git subtree Integrations #2897: Pull request #840 synchronize by hero78119
February 26, 2025 06:42 4m 50s hero78119:feat/whir-wrapper
hero78119:feat/whir-wrapper
February 26, 2025 06:42 4m 50s
add whir as a crate in ceno via git subtree Integrations #2896: Pull request #840 opened by hero78119
February 26, 2025 04:03 5m 12s hero78119:feat/whir-wrapper
hero78119:feat/whir-wrapper
February 26, 2025 04:03 5m 12s
WHIR wrapper Integrations #2895: Pull request #742 synchronize by yczhangsjtu
February 25, 2025 10:04 5m 2s feat/whir-wrapper
feat/whir-wrapper
February 25, 2025 10:04 5m 2s
Merge Plonky3 field into WHIR Integrations #2894: Pull request #839 synchronize by yczhangsjtu
February 25, 2025 09:52 4m 48s tmp/whir/merging
tmp/whir/merging
February 25, 2025 09:52 4m 48s
Merge Plonky3 field into WHIR Integrations #2893: Pull request #839 synchronize by yczhangsjtu
February 25, 2025 09:46 4m 47s tmp/whir/merging
tmp/whir/merging
February 25, 2025 09:46 4m 47s
Merge Plonky3 field into WHIR Integrations #2892: Pull request #839 synchronize by yczhangsjtu
February 25, 2025 09:40 4m 48s tmp/whir/merging
tmp/whir/merging
February 25, 2025 09:40 4m 48s
Merge Plonky3 field into WHIR Integrations #2891: Pull request #839 synchronize by yczhangsjtu
February 25, 2025 09:33 5m 13s tmp/whir/merging
tmp/whir/merging
February 25, 2025 09:33 5m 13s
Merge Plonky3 field into WHIR Integrations #2890: Pull request #839 synchronize by yczhangsjtu
February 25, 2025 09:29 3m 39s tmp/whir/merging
tmp/whir/merging
February 25, 2025 09:29 3m 39s
Merge Plonky3 field into WHIR Integrations #2889: Pull request #839 synchronize by yczhangsjtu
February 25, 2025 09:15 5m 3s tmp/whir/merging
tmp/whir/merging
February 25, 2025 09:15 5m 3s
Merge Plonky3 field into WHIR Integrations #2888: Pull request #839 opened by yczhangsjtu
February 25, 2025 09:11 4m 1s tmp/whir/merging
tmp/whir/merging
February 25, 2025 09:11 4m 1s
WIP whir wrapper + plonky3 Integrations #2887: Pull request #838 opened by hero78119
February 25, 2025 08:22 1m 3s hero78119:ming/whir-wrapper
hero78119:ming/whir-wrapper
February 25, 2025 08:22 1m 3s
internal fork of plonky3 (#837) Integrations #2886: Commit de94155 pushed by github-merge-queue bot
February 25, 2025 06:56 15s master
master
February 25, 2025 06:56 15s
Integrations Integrations #2885: Merge group checks requested
February 25, 2025 06:51 4m 35s
February 25, 2025 06:51 4m 35s