Skip to content

Actions: lattice-complete/Lazarus

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

Mega PR: First iteration of prover and verifier
Main Build #32: Pull request #13 synchronize by SuccinctPaul
December 23, 2024 15:17 45s prover
December 23, 2024 15:17 45s
Verifier
Main Build #31: Pull request #16 synchronize by luckyyang
December 23, 2024 13:47 37s verifier
December 23, 2024 13:47 37s
Verifier
Main Build #30: Pull request #16 opened by luckyyang
December 23, 2024 13:46 50s verifier
December 23, 2024 13:46 50s
Merge pull request #15 from lattice-complete/update-dev-notes
Deploy mdBook site to Pages #9: Commit fc233a0 pushed by pinhaocypher
December 23, 2024 12:54 3m 9s main
December 23, 2024 12:54 3m 9s
Merge pull request #15 from lattice-complete/update-dev-notes
Main Build #29: Commit fc233a0 pushed by pinhaocypher
December 23, 2024 12:54 35s main
December 23, 2024 12:54 35s
Mega PR: First iteration of prover and verifier
Main Build #28: Pull request #13 synchronize by luckyyang
December 23, 2024 11:20 40s prover
December 23, 2024 11:20 40s
Mega PR: First iteration of prover and verifier
Main Build #27: Pull request #13 synchronize by luckyyang
December 23, 2024 11:17 48s prover
December 23, 2024 11:17 48s
Mega PR: First iteration of prover and verifier
Main Build #26: Pull request #13 synchronize by luckyyang
December 23, 2024 11:17 43s prover
December 23, 2024 11:17 43s
Mega PR: First iteration of prover and verifier
Main Build #25: Pull request #13 synchronize by luckyyang
December 23, 2024 11:16 44s prover
December 23, 2024 11:16 44s
Update dev_notes.md
Main Build #24: Pull request #15 synchronize by luckyyang
December 23, 2024 11:08 35s update-dev-notes
December 23, 2024 11:08 35s
Update dev_notes.md
Main Build #23: Pull request #15 opened by luckyyang
December 23, 2024 11:06 44s update-dev-notes
December 23, 2024 11:06 44s
ci: add fmt and clippy to ci workflow
Main Build #22: Pull request #14 synchronize by eightfilms
December 19, 2024 05:10 22s eightfilms:improved-ci
December 19, 2024 05:10 22s
ci: add fmt and clippy to ci workflow
Main Build #21: Pull request #14 opened by eightfilms
December 19, 2024 05:00 1m 48s eightfilms:improved-ci
December 19, 2024 05:00 1m 48s
Mega PR: First iteration of prover and verifier
Main Build #20: Pull request #13 synchronize by luckyyang
December 16, 2024 14:33 53s prover
December 16, 2024 14:33 53s
Mega PR: First iteration of prover and verifier
Main Build #19: Pull request #13 synchronize by luckyyang
December 16, 2024 14:27 54s prover
December 16, 2024 14:27 54s
Fix dev_notes.md error
Main Build #18: Commit e8975f0 pushed by Junochiu
December 3, 2024 07:03 32s main
December 3, 2024 07:03 32s
Fix dev_notes.md error
Deploy mdBook site to Pages #8: Commit e8975f0 pushed by Junochiu
December 3, 2024 07:03 3m 17s main
December 3, 2024 07:03 3m 17s
nostory: format
Deploy mdBook site to Pages #7: Commit 358d4b9 pushed by Junochiu
December 3, 2024 06:37 3m 42s main
December 3, 2024 06:37 3m 42s
nostory: format
Main Build #17: Commit 358d4b9 pushed by Junochiu
December 3, 2024 06:37 33s main
December 3, 2024 06:37 33s
Fix dev_notes.md error
Main Build #16: Commit e8975f0 pushed by pinhaocypher
December 2, 2024 09:22 31s main
December 2, 2024 09:22 31s
Fix dev_notes.md error
Deploy mdBook site to Pages #6: Commit e8975f0 pushed by pinhaocypher
December 2, 2024 09:22 3m 25s main
December 2, 2024 09:22 3m 25s
fix katex
Main Build #15: Commit 4b2684e pushed by kurtpan666
December 2, 2024 08:43 32s main
December 2, 2024 08:43 32s
fix katex
Deploy mdBook site to Pages #5: Commit 4b2684e pushed by kurtpan666
December 2, 2024 08:43 3m 36s main
December 2, 2024 08:43 3m 36s
feat: add KaTeX support for math rendering
Deploy mdBook site to Pages #4: Commit 3dc8a8e pushed by pinhaocypher
December 2, 2024 08:36 3m 23s main
December 2, 2024 08:36 3m 23s
feat: add KaTeX support for math rendering
Main Build #14: Commit 3dc8a8e pushed by pinhaocypher
December 2, 2024 08:36 45s main
December 2, 2024 08:36 45s