Skip to content

Actions: o1-labs/proof-systems

Actions

Global configuration for formatting related jobs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
fmt.yml
78 workflow runs
78 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Arrabbiata: adding a regression test in case circuit changes Global configuration for formatting related jobs #54: Pull request #3058 opened by dannywillems
February 25, 2025 01:28 1m 17s arrabbiata/regtest-state
arrabbiata/regtest-state
February 25, 2025 01:28 1m 17s
Arrabbiata: use new poseidon gadget in verifier circuit Global configuration for formatting related jobs #53: Pull request #3057 opened by dannywillems
February 24, 2025 22:07 1m 18s arrabbiata/use-new-poseidon-gadget-in-verifier-circuit
arrabbiata/use-new-poseidon-gadget-in-verifier-circuit
February 24, 2025 22:07 1m 18s
Arrabbiata: implement control flow for the new Poseidon gadget Global configuration for formatting related jobs #52: Pull request #3056 synchronize by dannywillems
February 24, 2025 22:01 1m 5s arrabbiata/control-flow-new-poseidon-gadget
arrabbiata/control-flow-new-poseidon-gadget
February 24, 2025 22:01 1m 5s
Arrabbiata: implement control flow for the new Poseidon gadget Global configuration for formatting related jobs #51: Pull request #3056 opened by dannywillems
February 24, 2025 22:00 1m 18s arrabbiata/control-flow-new-poseidon-gadget
arrabbiata/control-flow-new-poseidon-gadget
February 24, 2025 22:00 1m 18s
Arrabbiata: implement gadget PoseidonSpongeAbsorb Global configuration for formatting related jobs #50: Pull request #3055 synchronize by dannywillems
February 24, 2025 21:45 1m 2s arrabbiata/poseidon-absorb-gadget
arrabbiata/poseidon-absorb-gadget
February 24, 2025 21:45 1m 2s
Arrabbiata: implement gadget PoseidonSpongeAbsorb Global configuration for formatting related jobs #49: Pull request #3055 synchronize by dannywillems
February 24, 2025 21:39 1m 4s arrabbiata/poseidon-absorb-gadget
arrabbiata/poseidon-absorb-gadget
February 24, 2025 21:39 1m 4s
Arrabbiata: implement gadget PoseidonSpongeAbsorb Global configuration for formatting related jobs #48: Pull request #3055 opened by dannywillems
February 24, 2025 21:10 1m 2s arrabbiata/poseidon-absorb-gadget
arrabbiata/poseidon-absorb-gadget
February 24, 2025 21:10 1m 2s
Arrabbiata: new poseidon gadget Global configuration for formatting related jobs #47: Pull request #3053 synchronize by dannywillems
February 21, 2025 13:14 1m 4s arrabbiata/implement-new-poseidon-gadget
arrabbiata/implement-new-poseidon-gadget
February 21, 2025 13:14 1m 4s
Benchmarking cross terms computation Global configuration for formatting related jobs #46: Pull request #3040 synchronize by dannywillems
February 21, 2025 08:30 1m 16s benchmarking-cross-terms-computation
benchmarking-cross-terms-computation
February 21, 2025 08:30 1m 16s
MVPoly: speed up cross-terms computation when multiplicands are zero Global configuration for formatting related jobs #45: Pull request #3034 synchronize by dannywillems
February 20, 2025 17:58 1m 19s mvpoly/simplify-cross-terms-computation
mvpoly/simplify-cross-terms-computation
February 20, 2025 17:58 1m 19s
Arrabbiata: new poseidon gadget Global configuration for formatting related jobs #44: Pull request #3053 synchronize by dannywillems
February 20, 2025 17:30 1m 22s arrabbiata/implement-new-poseidon-gadget
arrabbiata/implement-new-poseidon-gadget
February 20, 2025 17:30 1m 22s
Arrabbiata: new poseidon gadget Global configuration for formatting related jobs #43: Pull request #3053 synchronize by dannywillems
February 20, 2025 17:20 1m 15s arrabbiata/implement-new-poseidon-gadget
arrabbiata/implement-new-poseidon-gadget
February 20, 2025 17:20 1m 15s
Arrabbiata: new poseidon gadget Global configuration for formatting related jobs #42: Pull request #3053 synchronize by dannywillems
February 20, 2025 17:15 1m 4s arrabbiata/implement-new-poseidon-gadget
arrabbiata/implement-new-poseidon-gadget
February 20, 2025 17:15 1m 4s
Arrabbiata: new poseidon gadget Global configuration for formatting related jobs #41: Pull request #3053 opened by dannywillems
February 20, 2025 14:53 1m 4s arrabbiata/implement-new-poseidon-gadget
arrabbiata/implement-new-poseidon-gadget
February 20, 2025 14:53 1m 4s
Arrabbiata: better CLI + support test started in debug mode Global configuration for formatting related jobs #40: Pull request #3051 synchronize by dannywillems
February 20, 2025 14:14 1m 1s arrabbiata/create-cli-file
arrabbiata/create-cli-file
February 20, 2025 14:14 1m 1s
Performance: parallelising kimchi prover & verifier Global configuration for formatting related jobs #39: Pull request #2969 synchronize by volhovm
February 20, 2025 13:53 1m 4s volhovm/profiling-kimchi-thread-utilisation
volhovm/profiling-kimchi-thread-utilisation
February 20, 2025 13:53 1m 4s
Arrabbiata: better CLI + support test started in debug mode Global configuration for formatting related jobs #38: Pull request #3051 synchronize by dannywillems
February 20, 2025 13:27 1m 3s arrabbiata/create-cli-file
arrabbiata/create-cli-file
February 20, 2025 13:27 1m 3s
Arrabbiata: better CLI + support test started in debug mode Global configuration for formatting related jobs #37: Pull request #3051 synchronize by dannywillems
February 20, 2025 13:24 1m 2s arrabbiata/create-cli-file
arrabbiata/create-cli-file
February 20, 2025 13:24 1m 2s
WIP: Arrabbiata: start cross terms, finally Global configuration for formatting related jobs #36: Pull request #3033 synchronize by dannywillems
February 20, 2025 11:15 1m 19s arrabbiata/start-cross-terms-finally
arrabbiata/start-cross-terms-finally
February 20, 2025 11:15 1m 19s
Arrabbiata: better CLI + support test started in debug mode Global configuration for formatting related jobs #35: Pull request #3051 opened by dannywillems
February 20, 2025 08:39 1m 12s arrabbiata/create-cli-file
arrabbiata/create-cli-file
February 20, 2025 08:39 1m 12s
CI: enforce 80 characters limit on README.md Global configuration for formatting related jobs #34: Pull request #2963 synchronize by dannywillems
February 20, 2025 08:08 1m 2s dw/ci-readme-80-characters-max
dw/ci-readme-80-characters-max
February 20, 2025 08:08 1m 2s
CI: enforce 80 characters limit on README.md Global configuration for formatting related jobs #33: Pull request #2963 synchronize by dannywillems
February 20, 2025 08:07 1m 24s dw/ci-readme-80-characters-max
dw/ci-readme-80-characters-max
February 20, 2025 08:07 1m 24s
WIP: Arrabbiata: start cross terms, finally Global configuration for formatting related jobs #32: Pull request #3033 synchronize by dannywillems
February 19, 2025 14:34 1m 5s arrabbiata/start-cross-terms-finally
arrabbiata/start-cross-terms-finally
February 19, 2025 14:34 1m 5s
Arrabbiata: regtest reg. size in memory of the witness struct Global configuration for formatting related jobs #31: Pull request #3049 opened by dannywillems
February 19, 2025 14:14 1m 17s dw/regtest-witness-structure-memory-size
dw/regtest-witness-structure-memory-size
February 19, 2025 14:14 1m 17s
MVPoly: speed up cross-terms computation when multiplicands are zero Global configuration for formatting related jobs #30: Pull request #3034 synchronize by dannywillems
February 19, 2025 14:07 1m 2s mvpoly/simplify-cross-terms-computation
mvpoly/simplify-cross-terms-computation
February 19, 2025 14:07 1m 2s