Skip to content

Actions: andyleiserson/ipa

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check.yml
410 workflow runs
410 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fixes for timeouts in CI CI #526: Commit 2b4019e pushed by andyleiserson
December 3, 2024 01:39 49m 30s timeout
timeout
December 3, 2024 01:39 49m 30s
Add a timeout to TestWorld CI #525: Commit 31c573f pushed by andyleiserson
December 3, 2024 00:42 6h 0m 25s timeout
timeout
December 3, 2024 00:42 6h 0m 25s
End-to-end DZKP benchmark CI #524: Commit 6835862 pushed by andyleiserson
November 26, 2024 01:17 26m 46s dzkp-bench
dzkp-bench
November 26, 2024 01:17 26m 46s
Make the boolean_array_impl_large macro more flexible CI #523: Commit e1b0f39 pushed by andyleiserson
November 26, 2024 00:16 26m 13s large-boolean-array
large-boolean-array
November 26, 2024 00:16 26m 13s
Use lookup tables for first proof Lagrange output (#1437) CI #522: Commit 0cbc5de pushed by andyleiserson
November 22, 2024 19:00 28m 38s main
main
November 22, 2024 19:00 28m 38s
Small cleanups CI #521: Commit 9a1cdfa pushed by andyleiserson
November 21, 2024 22:01 26m 33s lagrange-table
lagrange-table
November 21, 2024 22:01 26m 33s
Clarify z_right handling in tests CI #520: Commit 6a8895f pushed by andyleiserson
November 20, 2024 23:13 25m 54s lagrange-table
lagrange-table
November 20, 2024 23:13 25m 54s
Fix benchmark build CI #519: Commit 6f339dd pushed by andyleiserson
November 20, 2024 22:50 26m 24s lagrange-table
lagrange-table
November 20, 2024 22:50 26m 24s
Use lookup tables for first proof Lagrange output CI #518: Commit 5f9675a pushed by andyleiserson
November 20, 2024 22:15 26m 13s lagrange-table
lagrange-table
November 20, 2024 22:15 26m 13s
More cleanup CI #517: Commit e0ae565 pushed by andyleiserson
November 20, 2024 19:52 25m 41s lagrange-table
lagrange-table
November 20, 2024 19:52 25m 41s
Pass --all-targets for sanitizers, to exclude doctests CI #516: Commit 7fbeee5 pushed by andyleiserson
November 20, 2024 03:21 26m 51s mul-accum
mul-accum
November 20, 2024 03:21 26m 51s
Conditional compilation fix CI #515: Commit 959c168 pushed by andyleiserson
November 20, 2024 01:10 26m 1s mul-accum
mul-accum
November 20, 2024 01:10 26m 1s
Also inline the unoptimized implementation; add comment CI #514: Commit 81471cc pushed by andyleiserson
November 20, 2024 01:08 2m 2s mul-accum
mul-accum
November 20, 2024 01:08 2m 2s
Create an abstraction for multiply-accumulate CI #513: Commit a6cb1f3 pushed by andyleiserson
November 20, 2024 00:51 18m 22s mul-accum
mul-accum
November 20, 2024 00:51 18m 22s
Merge prev_power_of_two helpers CI #512: Commit fa44ad0 pushed by andyleiserson
November 19, 2024 18:22 25m 48s lambda
lambda
November 19, 2024 18:22 25m 48s
Add inline directives CI #511: Commit 825441e pushed by andyleiserson
November 19, 2024 17:58 18m 29s lagrange-table
lagrange-table
November 19, 2024 17:58 18m 29s
And of dot_product CI #510: Commit a00d566 pushed by andyleiserson
November 19, 2024 00:58 17m 9s lagrange-table
lagrange-table
November 19, 2024 00:58 17m 9s
Small fixes CI #509: Commit 5453745 pushed by andyleiserson
November 16, 2024 20:37 26m 47s lambda
lambda
November 16, 2024 20:37 26m 47s
Merge remote-tracking branch 'ipa/main' into lambda CI #508: Commit 7a7bdb1 pushed by andyleiserson
November 16, 2024 20:32 26m 6s lambda
lambda
November 16, 2024 20:32 26m 6s
Get back proof serialization for lambda = 8 CI #507: Commit f0d2d54 pushed by andyleiserson
November 16, 2024 06:34 25m 51s proof-recursion-8-3
proof-recursion-8-3
November 16, 2024 06:34 25m 51s
Proof recursion 8, redux CI #506: Commit 0a76a9e pushed by andyleiserson
November 16, 2024 01:30 27m 25s proof-recursion-8-3
proof-recursion-8-3
November 16, 2024 01:30 27m 25s
Use recursion factor of 4 for all proofs CI #505: Commit aca8ca5 pushed by andyleiserson
November 15, 2024 20:16 27m 28s lambda
lambda
November 15, 2024 20:16 27m 28s
lagrange table CI #504: Commit 7015ba6 pushed by andyleiserson
November 15, 2024 20:14 26m 51s lagrange-table-3
lagrange-table-3
November 15, 2024 20:14 26m 51s
Use recursion factor of 4 for all proofs CI #503: Commit dd29f92 pushed by andyleiserson
November 15, 2024 19:56 25m 55s lambda
lambda
November 15, 2024 19:56 25m 55s
Use recursion factor of 4 for all proofs CI #502: Commit 3a92d59 pushed by andyleiserson
November 15, 2024 18:53 27m 11s lambda
lambda
November 15, 2024 18:53 27m 11s