Skip to content

Actions: o1-labs/proof-systems

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
5,214 workflow runs
5,214 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
LagrangeBasisEvaluations: different suggestions CI #8034: Pull request #2524 synchronize by dannywillems
September 4, 2024 22:45 29s dw/misc-polish-comments-lagrange-evals
dw/misc-polish-comments-lagrange-evals
September 4, 2024 22:45 29s
LagrangeBasisEvaluations: different suggestions CI #8033: Pull request #2524 opened by dannywillems
September 4, 2024 22:34 32m 50s dw/misc-polish-comments-lagrange-evals
dw/misc-polish-comments-lagrange-evals
September 4, 2024 22:34 32m 50s
MVPoly/prime: implement compute_cross_terms CI #8032: Pull request #2502 synchronize by dannywillems
August 30, 2024 03:16 31m 13s dw/implement-compute-cross-terms
dw/implement-compute-cross-terms
August 30, 2024 03:16 31m 13s
MVPoly: util to compute nested loops indices CI #8031: Pull request #2514 synchronize by dannywillems
August 30, 2024 03:15 23m 43s dw/compute-indices-nested-loops
dw/compute-indices-nested-loops
August 30, 2024 03:15 23m 43s
MVPoly/prime: implement compute_cross_terms CI #8030: Pull request #2502 synchronize by dannywillems
August 30, 2024 03:10 22m 38s dw/implement-compute-cross-terms
dw/implement-compute-cross-terms
August 30, 2024 03:10 22m 38s
MVPoly/prime: implement compute_cross_terms CI #8029: Pull request #2502 synchronize by dannywillems
August 30, 2024 03:00 22m 34s dw/implement-compute-cross-terms
dw/implement-compute-cross-terms
August 30, 2024 03:00 22m 34s
MVPoly/prime: implement compute_cross_terms CI #8028: Pull request #2502 synchronize by dannywillems
August 30, 2024 02:55 23m 19s dw/implement-compute-cross-terms
dw/implement-compute-cross-terms
August 30, 2024 02:55 23m 19s
MVPoly/prime: implement compute_cross_terms CI #8027: Pull request #2502 synchronize by dannywillems
August 30, 2024 02:54 22m 55s dw/implement-compute-cross-terms
dw/implement-compute-cross-terms
August 30, 2024 02:54 22m 55s
MVPoly/prime: implement compute_cross_terms CI #8026: Pull request #2502 synchronize by dannywillems
August 30, 2024 02:45 17m 55s dw/implement-compute-cross-terms
dw/implement-compute-cross-terms
August 30, 2024 02:45 17m 55s
MVPoly: util to compute nested loops indices CI #8025: Pull request #2514 synchronize by dannywillems
August 30, 2024 01:55 14m 1s dw/compute-indices-nested-loops
dw/compute-indices-nested-loops
August 30, 2024 01:55 14m 1s
MVPoly: util to compute nested loops indices CI #8024: Pull request #2514 synchronize by dannywillems
August 30, 2024 01:52 22m 32s dw/compute-indices-nested-loops
dw/compute-indices-nested-loops
August 30, 2024 01:52 22m 32s
MVPoly: util to compute nested loops indices CI #8023: Pull request #2514 synchronize by dannywillems
August 30, 2024 01:51 22m 57s dw/compute-indices-nested-loops
dw/compute-indices-nested-loops
August 30, 2024 01:51 22m 57s
MVPoly: util to compute nested loops indices CI #8022: Pull request #2514 opened by dannywillems
August 30, 2024 01:45 26m 33s dw/compute-indices-nested-loops
dw/compute-indices-nested-loops
August 30, 2024 01:45 26m 33s
MVPoly/prime: implement compute_cross_terms CI #8021: Pull request #2502 synchronize by dannywillems
August 30, 2024 01:25 9m 52s dw/implement-compute-cross-terms
dw/implement-compute-cross-terms
August 30, 2024 01:25 9m 52s
MVPoly: add more PBT for polynomial multiplication CI #8020: Pull request #2511 synchronize by dannywillems
August 29, 2024 20:48 31m 31s dw/mvpoly-pbt-mul
dw/mvpoly-pbt-mul
August 29, 2024 20:48 31m 31s
MVPoly: more PBT regarding degree computation CI #8019: Pull request #2510 synchronize by dannywillems
August 29, 2024 20:47 23m 29s dw/mvpoly-pbt-tests-degree
dw/mvpoly-pbt-tests-degree
August 29, 2024 20:47 23m 29s
MVPoly: add tests for is_constant CI #8018: Pull request #2508 synchronize by dannywillems
August 29, 2024 20:39 24m 29s dw/mvpoly-test-is-constant
dw/mvpoly-test-is-constant
August 29, 2024 20:39 24m 29s
MVPoly: implement degree + tests CI #8017: Pull request #2507 synchronize by dannywillems
August 29, 2024 18:12 23m 12s dw/degree-method-mvpoly
dw/degree-method-mvpoly
August 29, 2024 18:12 23m 12s
MVPoly: implement degree + tests CI #8016: Pull request #2507 synchronize by dannywillems
August 29, 2024 18:05 9m 43s dw/degree-method-mvpoly
dw/degree-method-mvpoly
August 29, 2024 18:05 9m 43s
CI refactoring, test coverage data gathering and reports generation. CI #8015: Pull request #2504 synchronize by shimkiv
August 29, 2024 08:02 58m 5s chore/test-coverage
chore/test-coverage
August 29, 2024 08:02 58m 5s
MVPoly: add more PBT for polynomial multiplication CI #8014: Pull request #2511 opened by dannywillems
August 28, 2024 23:30 5h 12m 36s dw/mvpoly-pbt-mul
dw/mvpoly-pbt-mul
August 28, 2024 23:30 5h 12m 36s
MVPoly: more PBT regarding degree computation CI #8013: Pull request #2510 opened by dannywillems
August 28, 2024 23:26 5h 1m 27s dw/mvpoly-pbt-tests-degree
dw/mvpoly-pbt-tests-degree
August 28, 2024 23:26 5h 1m 27s
Add initial flake for installing build dependencies for proof-systems CI #8012: Pull request #2509 synchronize by Fizzixnerd
August 28, 2024 22:14 5h 58m 6s fizzixnerd/initial-flake
fizzixnerd/initial-flake
August 28, 2024 22:14 5h 58m 6s