Skip to content

Actions: o1-labs/proof-systems

Actions

Saffron CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
saffron.yml
183 workflow runs
183 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Saffron] Add update function Saffron CI #185: Pull request #3004 synchronize by martyall
February 5, 2025 19:08 9m 59s martin/saffron-update
martin/saffron-update
February 5, 2025 19:08 9m 59s
[Saffron] Add update function Saffron CI #184: Pull request #3004 opened by martyall
February 5, 2025 18:38 8m 29s martin/saffron-update
martin/saffron-update
February 5, 2025 18:38 8m 29s
Performance: parallelising kimchi prover more Saffron CI #183: Pull request #2969 synchronize by volhovm
February 5, 2025 15:43 9m 11s volhovm/profiling-kimchi-thread-utilisation
volhovm/profiling-kimchi-thread-utilisation
February 5, 2025 15:43 9m 11s
o1vm/lookup: add lookup prover until alpha Saffron CI #182: Pull request #3000 synchronize by marcbeunardeau88
February 5, 2025 14:09 1m 49s marc/auxiliary_prover_rebased
marc/auxiliary_prover_rebased
February 5, 2025 14:09 1m 49s
o1vm/lookup: add lookup prover until alpha Saffron CI #181: Pull request #3000 synchronize by marcbeunardeau88
February 5, 2025 13:53 9m 28s marc/auxiliary_prover_rebased
marc/auxiliary_prover_rebased
February 5, 2025 13:53 9m 28s
Marc/lookup env Saffron CI #180: Pull request #2960 synchronize by marcbeunardeau88
February 5, 2025 13:45 9m 6s marc/lookup-env
marc/lookup-env
February 5, 2025 13:45 9m 6s
Arrabbiata: add a workflow reg. "two steps" challenges verification Saffron CI #179: Pull request #3003 synchronize by dannywillems
February 5, 2025 09:22 2m 47s arrabbiata/additional-doc-challenges
arrabbiata/additional-doc-challenges
February 5, 2025 09:22 2m 47s
Arrabbiata: add a workflow reg. "two steps" challenges verification Saffron CI #178: Pull request #3003 synchronize by dannywillems
February 5, 2025 09:20 6m 57s arrabbiata/additional-doc-challenges
arrabbiata/additional-doc-challenges
February 5, 2025 09:20 6m 57s
Arrabbiata: add a workflow reg. "two steps" challenges verification Saffron CI #177: Pull request #3003 synchronize by dannywillems
February 5, 2025 09:20 7m 15s arrabbiata/additional-doc-challenges
arrabbiata/additional-doc-challenges
February 5, 2025 09:20 7m 15s
Arrabbiata: add a workflow reg. "two steps" challenges verification Saffron CI #176: Pull request #3003 opened by dannywillems
February 5, 2025 09:14 9m 26s arrabbiata/additional-doc-challenges
arrabbiata/additional-doc-challenges
February 5, 2025 09:14 9m 26s
o1vm/lookup: add expressions for lookup constraint Saffron CI #175: Pull request #3001 synchronize by marcbeunardeau88
February 4, 2025 17:51 2m 26s marc/lookup_prover_columns
marc/lookup_prover_columns
February 4, 2025 17:51 2m 26s
o1vm/lookup: add expressions for lookup constraint Saffron CI #174: Pull request #3001 synchronize by marcbeunardeau88
February 4, 2025 17:47 2m 14s marc/lookup_prover_columns
marc/lookup_prover_columns
February 4, 2025 17:47 2m 14s
Marc/track lookup arity Saffron CI #173: Pull request #3002 opened by marcbeunardeau88
February 4, 2025 17:38 1m 54s marc/track_lookup_arity
marc/track_lookup_arity
February 4, 2025 17:38 1m 54s
Merge pull request #2999 from o1-labs/sponge/test-rate Saffron CI #172: Commit f15858d pushed by dannywillems
February 4, 2025 17:38 2m 16s master
master
February 4, 2025 17:38 2m 16s
Marc/lookup env Saffron CI #171: Pull request #2960 synchronize by marcbeunardeau88
February 4, 2025 17:35 2m 17s marc/lookup-env
marc/lookup-env
February 4, 2025 17:35 2m 17s
o1vm/lookup: add expressions for lookup constraint Saffron CI #170: Pull request #3001 opened by marcbeunardeau88
February 4, 2025 17:31 1m 59s marc/lookup_prover_columns
marc/lookup_prover_columns
February 4, 2025 17:31 1m 59s
o1vm/lookup: add lookup prover until alpha Saffron CI #169: Pull request #3000 synchronize by marcbeunardeau88
February 4, 2025 17:29 2m 33s marc/auxiliary_prover_rebased
marc/auxiliary_prover_rebased
February 4, 2025 17:29 2m 33s
o1vm/lookup: add lookup prover until alpha Saffron CI #168: Pull request #3000 opened by marcbeunardeau88
February 4, 2025 17:25 2m 23s marc/auxiliary_prover_rebased
marc/auxiliary_prover_rebased
February 4, 2025 17:25 2m 23s
Arrabbiata: introduce the cross-terms computation Saffron CI #167: Pull request #2998 synchronize by dannywillems
February 4, 2025 15:00 1m 59s arrabbiata/cross-terms
arrabbiata/cross-terms
February 4, 2025 15:00 1m 59s
Poseidon/tests: squeeze/check state Saffron CI #166: Pull request #2999 synchronize by dannywillems
February 4, 2025 14:59 2m 22s sponge/test-rate
sponge/test-rate
February 4, 2025 14:59 2m 22s
Arrabbiata: introduce the cross-terms computation Saffron CI #165: Pull request #2998 synchronize by dannywillems
February 4, 2025 14:48 2m 15s arrabbiata/cross-terms
arrabbiata/cross-terms
February 4, 2025 14:48 2m 15s
Poseidon/tests: squeeze/check state Saffron CI #164: Pull request #2999 opened by dannywillems
February 4, 2025 14:43 2m 12s sponge/test-rate
sponge/test-rate
February 4, 2025 14:43 2m 12s
Merge pull request #2995 from o1-labs/arrabbiata/rename-ivc-circuit-i… Saffron CI #163: Commit 4c820f1 pushed by dannywillems
February 4, 2025 14:43 2m 9s master
master
February 4, 2025 14:43 2m 9s
Merge pull request #2994 from o1-labs/arrabbiata/write-column-next-en… Saffron CI #162: Commit 76432cd pushed by dannywillems
February 4, 2025 14:43 2m 40s master
master
February 4, 2025 14:43 2m 40s
Performance: parallelising kimchi prover more Saffron CI #161: Pull request #2969 synchronize by volhovm
February 4, 2025 14:32 2m 26s volhovm/profiling-kimchi-thread-utilisation
volhovm/profiling-kimchi-thread-utilisation
February 4, 2025 14:32 2m 26s