Skip to content

Actions: lattice-complete/Lazarus

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
65 workflow runs
65 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #31 from lattice-complete/29_ceiling_k Deploy mdBook site to Pages #12: Commit d752488 pushed by pinhaocypher
January 6, 2025 05:32 3m 15s main
main
January 6, 2025 05:32 3m 15s
Merge pull request #31 from lattice-complete/29_ceiling_k Main Build #54: Commit d752488 pushed by pinhaocypher
January 6, 2025 05:32 37s main
main
January 6, 2025 05:32 37s
fix: issue 29 use ceiling for size k Main Build #53: Pull request #31 synchronize by Junochiu
January 5, 2025 14:32 35s 29_ceiling_k
29_ceiling_k
January 5, 2025 14:32 35s
fix: issue 29 use ceiling for size k Main Build #52: Pull request #31 opened by Junochiu
January 5, 2025 13:21 35s 29_ceiling_k
29_ceiling_k
January 5, 2025 13:21 35s
Merge pull request #13 from lattice-complete/prover Deploy mdBook site to Pages #11: Commit 7fdfff9 pushed by Junochiu
January 2, 2025 02:32 3m 13s main
main
January 2, 2025 02:32 3m 13s
Merge pull request #13 from lattice-complete/prover Main Build #51: Commit 7fdfff9 pushed by Junochiu
January 2, 2025 02:32 40s main
main
January 2, 2025 02:32 40s
Mega PR: First iteration of prover and verifier Main Build #50: Pull request #13 synchronize by Junochiu
January 1, 2025 08:37 37s prover
prover
January 1, 2025 08:37 37s
Mega PR: First iteration of prover and verifier Main Build #49: Pull request #13 synchronize by Junochiu
January 1, 2025 08:37 47s prover
prover
January 1, 2025 08:37 47s
Mega PR: First iteration of prover and verifier Main Build #48: Pull request #13 synchronize by Junochiu
December 28, 2024 01:36 29s prover
prover
December 28, 2024 01:36 29s
refactor: verifier and prover reorg Main Build #47: Pull request #24 opened by Junochiu
December 28, 2024 01:36 33s verifier
verifier
December 28, 2024 01:36 33s
Mega PR: First iteration of prover and verifier Main Build #46: Pull request #13 synchronize by Junochiu
December 28, 2024 01:25 27s prover
prover
December 28, 2024 01:25 27s
Refactor: separating up code, fix clippy Main Build #45: Pull request #23 synchronize by pinhaocypher
December 26, 2024 06:19 38s verifier_refactor
verifier_refactor
December 26, 2024 06:19 38s
Refactor: separating up code, fix clippy Main Build #44: Pull request #23 synchronize by Junochiu
December 26, 2024 04:17 33s verifier_refactor
verifier_refactor
December 26, 2024 04:17 33s
Mega PR: First iteration of prover and verifier Main Build #43: Pull request #13 synchronize by luckyyang
December 25, 2024 10:28 31s prover
prover
December 25, 2024 10:28 31s
Mega PR: First iteration of prover and verifier Main Build #42: Pull request #13 synchronize by SuccinctPaul
December 25, 2024 03:10 36s prover
prover
December 25, 2024 03:10 36s
Verifier Main Build #41: Pull request #16 synchronize by SuccinctPaul
December 25, 2024 03:10 38s verifier
verifier
December 25, 2024 03:10 38s
Merge pull request #14 from eightfilms/improved-ci Main Build #40: Commit 6e513e4 pushed by pinhaocypher
December 24, 2024 08:25 28s main
main
December 24, 2024 08:25 28s
Merge pull request #14 from eightfilms/improved-ci Deploy mdBook site to Pages #10: Commit 6e513e4 pushed by pinhaocypher
December 24, 2024 08:25 3m 23s main
main
December 24, 2024 08:25 3m 23s
Verifier Main Build #39: Pull request #16 synchronize by luckyyang
December 24, 2024 04:25 40s verifier
verifier
December 24, 2024 04:25 40s
Verifier Main Build #38: Pull request #16 synchronize by luckyyang
December 24, 2024 04:24 43s verifier
verifier
December 24, 2024 04:24 43s
Verifier Main Build #37: Pull request #16 synchronize by luckyyang
December 24, 2024 03:15 49s verifier
verifier
December 24, 2024 03:15 49s
Verifier Main Build #36: Pull request #16 synchronize by luckyyang
December 24, 2024 03:11 57s verifier
verifier
December 24, 2024 03:11 57s
Verifier Main Build #35: Pull request #16 synchronize by luckyyang
December 23, 2024 15:48 50s verifier
verifier
December 23, 2024 15:48 50s
Verifier Main Build #34: Pull request #16 synchronize by luckyyang
December 23, 2024 15:45 43s verifier
verifier
December 23, 2024 15:45 43s
Mega PR: First iteration of prover and verifier Main Build #33: Pull request #13 synchronize by SuccinctPaul
December 23, 2024 15:19 48s prover
prover
December 23, 2024 15:19 48s