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

mvpoly/monomials: additional doc with example Global configuration for formatting related jobs #79: Pull request #3076 opened by dannywillems
March 2, 2025 20:07 59s dw/doc-mvpoly-monomials
dw/doc-mvpoly-monomials
March 2, 2025 20:07 59s
Arrabbiata: introduce the structure Program Global configuration for formatting related jobs #78: Pull request #3075 opened by dannywillems
February 27, 2025 21:50 1m 4s arrabbiata/use-program-structure-in-env
arrabbiata/use-program-structure-in-env
February 27, 2025 21:50 1m 4s
Arrabbiata: move selectors into setup Global configuration for formatting related jobs #77: Pull request #3073 synchronize by dannywillems
February 27, 2025 20:55 1m 7s dw/use-selectors-in-setup
dw/use-selectors-in-setup
February 27, 2025 20:55 1m 7s
Performance: parallelising kimchi prover & verifier Global configuration for formatting related jobs #76: Pull request #2969 synchronize by volhovm
February 27, 2025 17:24 1m 3s volhovm/profiling-kimchi-thread-utilisation
volhovm/profiling-kimchi-thread-utilisation
February 27, 2025 17:24 1m 3s
Arrabbiata: move selectors into setup Global configuration for formatting related jobs #75: Pull request #3073 synchronize by dannywillems
February 26, 2025 23:42 1m 2s dw/use-selectors-in-setup
dw/use-selectors-in-setup
February 26, 2025 23:42 1m 2s
Arrabbiata: move selectors into setup Global configuration for formatting related jobs #74: Pull request #3073 synchronize by dannywillems
February 26, 2025 22:51 1m 16s dw/use-selectors-in-setup
dw/use-selectors-in-setup
February 26, 2025 22:51 1m 16s
Arrabbiata: move selectors into setup Global configuration for formatting related jobs #73: Pull request #3073 synchronize by dannywillems
February 26, 2025 22:50 1m 19s dw/use-selectors-in-setup
dw/use-selectors-in-setup
February 26, 2025 22:50 1m 19s
Arrabbiata: move selectors into setup Global configuration for formatting related jobs #72: Pull request #3073 opened by dannywillems
February 26, 2025 22:29 1m 35s dw/use-selectors-in-setup
dw/use-selectors-in-setup
February 26, 2025 22:29 1m 35s
Performance: parallelising kimchi prover & verifier Global configuration for formatting related jobs #71: Pull request #2969 synchronize by volhovm
February 26, 2025 09:52 1m 14s volhovm/profiling-kimchi-thread-utilisation
volhovm/profiling-kimchi-thread-utilisation
February 26, 2025 09:52 1m 14s
CI: use Rust 1.79 everywhere and drop older versions Global configuration for formatting related jobs #70: Pull request #3068 synchronize by dannywillems
February 25, 2025 22:06 59s dw/remove-ci-old-rust-versions
dw/remove-ci-old-rust-versions
February 25, 2025 22:06 59s
CI: use Rust 1.79 everywhere and drop older versions Global configuration for formatting related jobs #69: Pull request #3068 opened by dannywillems
February 25, 2025 21:43 1m 19s dw/remove-ci-old-rust-versions
dw/remove-ci-old-rust-versions
February 25, 2025 21:43 1m 19s
Performance: parallelising kimchi prover & verifier Global configuration for formatting related jobs #68: Pull request #2969 synchronize by volhovm
February 25, 2025 20:35 1m 19s volhovm/profiling-kimchi-thread-utilisation
volhovm/profiling-kimchi-thread-utilisation
February 25, 2025 20:35 1m 19s
Performance: parallelising kimchi prover & verifier Global configuration for formatting related jobs #67: Pull request #2969 synchronize by volhovm
February 25, 2025 20:31 1m 19s volhovm/profiling-kimchi-thread-utilisation
volhovm/profiling-kimchi-thread-utilisation
February 25, 2025 20:31 1m 19s
Performance: parallelising kimchi prover & verifier Global configuration for formatting related jobs #66: Pull request #2969 synchronize by volhovm
February 25, 2025 20:29 1m 22s volhovm/profiling-kimchi-thread-utilisation
volhovm/profiling-kimchi-thread-utilisation
February 25, 2025 20:29 1m 22s
Performance: parallelising kimchi prover & verifier Global configuration for formatting related jobs #65: Pull request #2969 synchronize by volhovm
February 25, 2025 20:25 1m 8s volhovm/profiling-kimchi-thread-utilisation
volhovm/profiling-kimchi-thread-utilisation
February 25, 2025 20:25 1m 8s
Arrabbiata: cross terms - the renaissance Global configuration for formatting related jobs #64: Pull request #3067 opened by dannywillems
February 25, 2025 16:17 1m 4s arrabbiata/cross-terms-the-renaissance
arrabbiata/cross-terms-the-renaissance
February 25, 2025 16:17 1m 4s
Arrabbiata: use new poseidon gadget in verifier circuit Global configuration for formatting related jobs #63: Pull request #3057 synchronize by dannywillems
February 25, 2025 14:26 1m 8s arrabbiata/use-new-poseidon-gadget-in-verifier-circuit
arrabbiata/use-new-poseidon-gadget-in-verifier-circuit
February 25, 2025 14:26 1m 8s
Arrabbiata: rename PoseidonPermutation into PoseidonFullRound Global configuration for formatting related jobs #62: Pull request #3066 opened by dannywillems
February 25, 2025 14:19 1m 1s arrabbiata/apply-marc-comment
arrabbiata/apply-marc-comment
February 25, 2025 14:19 1m 1s
[Discussion] Arrabbiata: introduce zkApp registry Global configuration for formatting related jobs #61: Pull request #3061 synchronize by dannywillems
February 25, 2025 13:56 1m 5s arrabbiata/intro-zkapp-registry
arrabbiata/intro-zkapp-registry
February 25, 2025 13:56 1m 5s
[Discussion] Arrabbiata: introduce zkApp registry Global configuration for formatting related jobs #60: Pull request #3061 opened by dannywillems
February 25, 2025 13:54 1m 1s arrabbiata/intro-zkapp-registry
arrabbiata/intro-zkapp-registry
February 25, 2025 13:54 1m 1s
Arrabbiata: move sponge init state into setup Global configuration for formatting related jobs #59: Pull request #3060 opened by dannywillems
February 25, 2025 12:59 1m 2s arrabbiata/init-sponge-during-setup
arrabbiata/init-sponge-during-setup
February 25, 2025 12:59 1m 2s
CI: enforce 80 characters limit on README.md Global configuration for formatting related jobs #58: Pull request #2963 synchronize by dannywillems
February 25, 2025 12:16 1m 6s dw/ci-readme-80-characters-max
dw/ci-readme-80-characters-max
February 25, 2025 12:16 1m 6s
Arrabbiata: remove old Poseidon gadget Global configuration for formatting related jobs #57: Pull request #3059 opened by dannywillems
February 25, 2025 02:42 1m 7s arrabbiata/remove-old-poseidon-gadget
arrabbiata/remove-old-poseidon-gadget
February 25, 2025 02:42 1m 7s
Arrabbiata: use new poseidon gadget in verifier circuit Global configuration for formatting related jobs #56: Pull request #3057 synchronize by dannywillems
February 25, 2025 02:41 1m 4s arrabbiata/use-new-poseidon-gadget-in-verifier-circuit
arrabbiata/use-new-poseidon-gadget-in-verifier-circuit
February 25, 2025 02:41 1m 4s
Arrabbiata: use new poseidon gadget in verifier circuit Global configuration for formatting related jobs #55: Pull request #3057 synchronize by dannywillems
February 25, 2025 02:03 1m 0s arrabbiata/use-new-poseidon-gadget-in-verifier-circuit
arrabbiata/use-new-poseidon-gadget-in-verifier-circuit
February 25, 2025 02:03 1m 0s