Skip to content

Actions: z-tech/z-lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
251 workflow runs
251 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Interface refactor and binding and hiding closures Lean Action CI #251: Pull request #31 opened by ajhavlin
Action required ajhavlin:ajhavlin/interface-refactor-and-binding-hiding-closures
ajhavlin:ajhavlin/interface-refactor-and-binding-hiding-closures
Action required
Z tech/kilian Lean Action CI #250: Pull request #29 synchronize by z-tech
1m 27s z-tech/kilian
z-tech/kilian
1m 27s
Merge origin/main into z-tech/kilian Lean Action CI #249: Commit d138b86 pushed by z-tech
1m 30s z-tech/kilian
z-tech/kilian
1m 30s
chkpt Lean Action CI #248: Commit b307d47 pushed by z-tech
1m 54s z-tech/kilian
z-tech/kilian
1m 54s
Partial-run sumcheck + VectorCommitment + Kilian (#28) Lean Action CI #247: Commit c2a652a pushed by z-tech
5m 1s main
main
5m 1s
Partial-run sumcheck + VectorCommitment + Kilian Lean Action CI #246: Pull request #28 synchronize by z-tech
5m 12s z-tech/vc-and-sumcheck-refactor
z-tech/vc-and-sumcheck-refactor
5m 12s
Merge remote-tracking branch 'origin/main' into z-tech/vc-and-sumchec… Lean Action CI #245: Commit f58699c pushed by z-tech
1m 35s z-tech/vc-and-sumcheck-refactor
z-tech/vc-and-sumcheck-refactor
1m 35s
SumcheckProtocol: collapse soundness, soundness_dishonest into _k ali… Lean Action CI #244: Commit d0cb594 pushed by z-tech
1m 39s z-tech/vc-and-sumcheck-refactor
z-tech/vc-and-sumcheck-refactor
1m 39s
Proof for perfect_completeness_k (#27) Lean Action CI #243: Commit 4ebc77c pushed by z-tech
1m 42s z-tech/vc-and-sumcheck-refactor
z-tech/vc-and-sumcheck-refactor
1m 42s
Proof for perfect_completeness_k Lean Action CI #242: Pull request #27 opened by aleph-prover Bot
1m 56s ai-prover-20260531_141658
ai-prover-20260531_141658
1m 56s
Proof for perfect_completeness_k Lean Action CI #241: Commit 125ec9b pushed by aleph-prover Bot
5m 4s ai-prover-20260531_141658
ai-prover-20260531_141658
5m 4s
Proof for soundness_dishonest_k (#26) Lean Action CI #240: Commit 8054351 pushed by z-tech
7s z-tech/vc-and-sumcheck-refactor
z-tech/vc-and-sumcheck-refactor
7s
Proof for soundness_dishonest_k Lean Action CI #239: Pull request #26 opened by aleph-prover Bot
7s ai-prover-20260531_135229
ai-prover-20260531_135229
7s
Proof for soundness_dishonest_k Lean Action CI #238: Commit b7beeab pushed by aleph-prover Bot
7s ai-prover-20260531_135229
ai-prover-20260531_135229
7s
chkpt Lean Action CI #237: Commit 7628b6c pushed by z-tech
10s z-tech/vc-and-sumcheck-refactor
z-tech/vc-and-sumcheck-refactor
10s
Proof for soundness_k (#25) Lean Action CI #236: Commit 5f9b8f2 pushed by z-tech
1m 42s z-tech/vc-and-sumcheck-refactor
z-tech/vc-and-sumcheck-refactor
1m 42s
Proof for soundness_k Lean Action CI #235: Pull request #25 opened by aleph-prover Bot
1m 36s ai-prover-20260531_132404
ai-prover-20260531_132404
1m 36s
Proof for soundness_k Lean Action CI #234: Commit 2fd0281 pushed by aleph-prover Bot
5m 9s ai-prover-20260531_132404
ai-prover-20260531_132404
5m 9s
chkpt Lean Action CI #233: Commit 07825e6 pushed by z-tech
7s z-tech/vc-and-sumcheck-refactor
z-tech/vc-and-sumcheck-refactor
7s
Proof for soundness (#24) Lean Action CI #232: Commit e58bb16 pushed by z-tech
1m 47s z-tech/vc-and-sumcheck-refactor
z-tech/vc-and-sumcheck-refactor
1m 47s
Proof for soundness Lean Action CI #231: Pull request #24 opened by aleph-prover Bot
1m 57s ai-prover-20260531_121101
ai-prover-20260531_121101
1m 57s
Proof for soundness Lean Action CI #230: Commit d0984cd pushed by aleph-prover Bot
5m 5s ai-prover-20260531_121101
ai-prover-20260531_121101
5m 5s
Repin CompPoly to current z-tech branch tip (84e478d) Lean Action CI #229: Commit f9495f7 pushed by z-tech
4m 42s z-tech/vc-and-sumcheck-refactor
z-tech/vc-and-sumcheck-refactor
4m 42s
SumcheckProtocol: add honestRoundPolyAtK_eq_honestRoundPoly_of_extend… Lean Action CI #228: Commit 24285c3 pushed by z-tech
20s z-tech/vc-and-sumcheck-refactor
z-tech/vc-and-sumcheck-refactor
20s
chkpt Lean Action CI #227: Commit 184ee64 pushed by z-tech
22s z-tech/vc-and-sumcheck-refactor
z-tech/vc-and-sumcheck-refactor
22s