Skip to content

Actions: o1-labs/proof-systems

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
5,265 workflow runs
5,265 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Revendor CI #8059: Commit 0d4806b pushed by volhovm
September 17, 2024 14:58 2m 29s volhovm/single-cargo-lock-dependencies
volhovm/single-cargo-lock-dependencies
September 17, 2024 14:58 2m 29s
Use workspace dependencies CI #8058: Pull request #2561 synchronize by volhovm
September 17, 2024 14:48 2m 22s volhovm/single-cargo-lock-dependencies
volhovm/single-cargo-lock-dependencies
September 17, 2024 14:48 2m 22s
Allow time=0.3.31 CI #8057: Commit 42c7fcd pushed by volhovm
September 17, 2024 14:48 2m 9s volhovm/single-cargo-lock-dependencies
volhovm/single-cargo-lock-dependencies
September 17, 2024 14:48 2m 9s
Use workspace dependencies CI #8056: Pull request #2561 synchronize by volhovm
September 17, 2024 14:16 2m 16s volhovm/single-cargo-lock-dependencies
volhovm/single-cargo-lock-dependencies
September 17, 2024 14:16 2m 16s
Downgrade plist CI #8055: Commit ea044a6 pushed by volhovm
September 17, 2024 14:16 2m 17s volhovm/single-cargo-lock-dependencies
volhovm/single-cargo-lock-dependencies
September 17, 2024 14:16 2m 17s
Use workspace dependencies CI #8054: Pull request #2561 synchronize by volhovm
September 17, 2024 14:09 2m 24s volhovm/single-cargo-lock-dependencies
volhovm/single-cargo-lock-dependencies
September 17, 2024 14:09 2m 24s
Use workspace deps (develop/compatible) CI #8053: Commit 31a21e7 pushed by volhovm
September 17, 2024 14:09 2m 24s volhovm/single-cargo-lock-dependencies
volhovm/single-cargo-lock-dependencies
September 17, 2024 14:09 2m 24s
Use workspace dependencies CI #8052: Pull request #2561 synchronize by volhovm
September 17, 2024 13:50 2m 30s volhovm/single-cargo-lock-dependencies
volhovm/single-cargo-lock-dependencies
September 17, 2024 13:50 2m 30s
Use workspace deps (develop/compatible) CI #8051: Commit 117a8b1 pushed by volhovm
September 17, 2024 13:50 2m 6s volhovm/single-cargo-lock-dependencies
volhovm/single-cargo-lock-dependencies
September 17, 2024 13:50 2m 6s
Use workspace dependencies CI #8050: Pull request #2561 opened by volhovm
September 17, 2024 13:19 2m 9s volhovm/single-cargo-lock-dependencies
volhovm/single-cargo-lock-dependencies
September 17, 2024 13:19 2m 9s
Use workspace deps (develop/compatible) CI #8049: Commit 1ef9fee pushed by volhovm
September 17, 2024 13:19 2m 12s volhovm/single-cargo-lock-dependencies
volhovm/single-cargo-lock-dependencies
September 17, 2024 13:19 2m 12s
use workspace deps CI #8048: Commit 32ff9f8 pushed by volhovm
September 17, 2024 13:15 2m 15s volhovm/single-cargo-lock-dependencies
volhovm/single-cargo-lock-dependencies
September 17, 2024 13:15 2m 15s
Manually unroll MDS calculation CI #8047: Pull request #2558 opened by georgeee
September 16, 2024 12:48 19m 11s georgeee/unroll-mds-in-poseidon
georgeee/unroll-mds-in-poseidon
September 16, 2024 12:48 19m 11s
Manually unroll MDS calculation CI #8046: Commit 552f05f pushed by georgeee
September 16, 2024 12:40 18m 32s georgeee/unroll-mds-in-poseidon
georgeee/unroll-mds-in-poseidon
September 16, 2024 12:40 18m 32s
fixup! fixup! Manually unroll MDS calculation CI #8045: Commit 3ad0258 pushed by georgeee
September 16, 2024 11:03 19m 5s georgeee/poseidon-par_iter
georgeee/poseidon-par_iter
September 16, 2024 11:03 19m 5s
fixup! fixup! Manually unroll MDS calculation CI #8044: Commit d0e9a74 pushed by georgeee
September 16, 2024 11:02 18m 15s georgeee/poseidon-par_iter
georgeee/poseidon-par_iter
September 16, 2024 11:02 18m 15s
Another attempt to use rayon in poseidon CI #8043: Commit 91ce607 pushed by georgeee
September 16, 2024 10:46 18m 20s georgeee/poseidon-par_iter
georgeee/poseidon-par_iter
September 16, 2024 10:46 18m 20s
fixup! Manually unroll MDS calculation CI #8042: Commit fd5d15d pushed by georgeee
September 16, 2024 10:13 18m 48s georgeee/poseidon-par_iter
georgeee/poseidon-par_iter
September 16, 2024 10:13 18m 48s
Merge pull request #2474 from o1-labs/volhovm/arkworks042-compatible CI #8041: Commit a03e92e pushed by volhovm
September 16, 2024 09:33 19m 9s develop
develop
September 16, 2024 09:33 19m 9s
Manually unroll MDS calculation CI #8040: Commit 1c43ab5 pushed by georgeee
September 16, 2024 09:24 18m 39s georgeee/poseidon-par_iter
georgeee/poseidon-par_iter
September 16, 2024 09:24 18m 39s
Compute poseidon with par_iter CI #8039: Commit 23086bc pushed by georgeee
September 16, 2024 05:18 2m 14s georgeee/poseidon-par_iter
georgeee/poseidon-par_iter
September 16, 2024 05:18 2m 14s
Compute poseidon with par_iter CI #8038: Commit 3f693c7 pushed by georgeee
September 16, 2024 05:03 2m 9s georgeee/poseidon-par_iter
georgeee/poseidon-par_iter
September 16, 2024 05:03 2m 9s
Upgrade to arkworks 0.4.2 (mina compatible / p-s develop) CI #8037: Pull request #2474 synchronize by volhovm
September 11, 2024 12:15 18m 56s volhovm/arkworks042-compatible
volhovm/arkworks042-compatible
September 11, 2024 12:15 18m 56s
Fix ocaml printing: use hex instead of integer CI #8036: Commit 6866340 pushed by volhovm
September 11, 2024 12:14 19m 6s volhovm/arkworks042-compatible
volhovm/arkworks042-compatible
September 11, 2024 12:14 19m 6s
Kimchi/LagrangeBasisEvaluations: optimize evaluate_boolean CI #8035: Pull request #2525 opened by dannywillems
September 4, 2024 23:00 27s dw/lagrange-basis-evals-unsafe-evaluate-boolean
dw/lagrange-basis-evals-unsafe-evaluate-boolean
September 4, 2024 23:00 27s