Skip to content

Actions: z-tech/z-lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
253 workflow runs
253 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
LinearCodes: general Singleton bound + exact-MDS for RS and generator… Lean Action CI #255: Commit 818c662 pushed by z-tech
2m 29s main
main
2m 29s
LinearCodes: general Singleton bound + exact-MDS for RS and generators Lean Action CI #254: Pull request #32 synchronize by Praz314159
2m 51s Praz314159:z-tech/singleton-bound
Praz314159:z-tech/singleton-bound
2m 51s
LinearCodes: general Singleton bound + exact-MDS for RS and generators Lean Action CI #253: Pull request #32 opened by Praz314159
2m 36s Praz314159:z-tech/singleton-bound
Praz314159:z-tech/singleton-bound
2m 36s
Z tech/kilian (#29) Lean Action CI #252: Commit 2ae8dd8 pushed by z-tech
4m 48s main
main
4m 48s
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