Skip to content

Actions: lattice-complete/Lazarus

Actions

Main Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
21 workflow runs
21 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
eightfilms:improved-ci
December 19, 2024 05:00 1m 48s
Prover Main Build #20: Pull request #13 synchronize by luckyyang
December 16, 2024 14:33 53s prover
prover
December 16, 2024 14:33 53s
Prover Main Build #19: Pull request #13 synchronize by luckyyang
December 16, 2024 14:27 54s prover
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
main
December 3, 2024 07:03 32s
nostory: format Main Build #17: Commit 358d4b9 pushed by Junochiu
December 3, 2024 06:37 33s main
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
main
December 2, 2024 09:22 31s
fix katex Main Build #15: Commit 4b2684e pushed by kurtpan666
December 2, 2024 08:43 32s main
main
December 2, 2024 08:43 32s
feat: add KaTeX support for math rendering Main Build #14: Commit 3dc8a8e pushed by pinhaocypher
December 2, 2024 08:36 45s main
main
December 2, 2024 08:36 45s
doc: add dev notes Main Build #13: Commit fd2bbcd pushed by luckyyang
December 2, 2024 08:00 39s main
main
December 2, 2024 08:00 39s
Update mdbook.yml Main Build #12: Commit 1e53e3d pushed by kurtpan666
November 29, 2024 12:15 41s main
main
November 29, 2024 12:15 41s
Create mdbook.yml Main Build #11: Commit c9eb38b pushed by kurtpan666
November 29, 2024 12:06 29s main
main
November 29, 2024 12:06 29s
init docs using mdbook Main Build #10: Commit 0736b27 pushed by kurtpan666
November 29, 2024 12:03 33s main
main
November 29, 2024 12:03 33s
Update README.md Main Build #9: Commit 59d01fb pushed by luckyyang
November 20, 2024 05:40 37s main
main
November 20, 2024 05:40 37s
Merge pull request #12 from eightfilms/remove-dsstore Main Build #8: Commit 42b0fa1 pushed by kurtpan666
November 19, 2024 12:52 36s main
main
November 19, 2024 12:52 36s
feat: jl projection Main Build #6: Pull request #2 synchronize by Junochiu
November 14, 2024 01:02 52s jl_proj
jl_proj
November 14, 2024 01:02 52s
feat: jl projection Main Build #5: Pull request #2 synchronize by SuccinctPaul
November 13, 2024 17:42 52s jl_proj
jl_proj
November 13, 2024 17:42 52s
feat: jl projection Main Build #4: Pull request #2 synchronize by Junochiu
November 13, 2024 13:51 55s jl_proj
jl_proj
November 13, 2024 13:51 55s
feat(CI): add github workflow ci (#11) Main Build #3: Commit 72745e3 pushed by SuccinctPaul
November 12, 2024 16:11 35s main
main
November 12, 2024 16:11 35s
feat(CI): add github workflow ci Main Build #2: Pull request #11 synchronize by SuccinctPaul
November 12, 2024 16:09 33s feat/add_ci
feat/add_ci
November 12, 2024 16:09 33s
feat(CI): add github workflow ci Main Build #1: Pull request #11 opened by SuccinctPaul
November 11, 2024 17:55 35s feat/add_ci
feat/add_ci
November 11, 2024 17:55 35s