Skip to content

Actions: leanprover-community/LeanSearchClient

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
61 workflow runs
61 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

user agent added Lean Action CI #37: Commit 89d324d pushed by siddhartha-gadgil
September 16, 2024 12:55 24s main
main
September 16, 2024 12:55 24s
updated Loogle examples Lean Action CI #36: Commit 4de5762 pushed by siddhartha-gadgil
September 16, 2024 10:41 23s main
main
September 16, 2024 10:41 23s
Merge pull request #6 from leanprover-community/loogle Lean Action CI #35: Commit dcec95d pushed by siddhartha-gadgil
September 16, 2024 06:12 21s main
main
September 16, 2024 06:12 21s
Loogle implemented Lean Action CI #34: Pull request #6 opened by siddhartha-gadgil
September 13, 2024 15:33 22s loogle
loogle
September 13, 2024 15:33 22s
Loogle all cases Lean Action CI #33: Commit 5f3c33d pushed by siddhartha-gadgil
September 13, 2024 15:02 32s loogle
loogle
September 13, 2024 15:02 32s
term case too Lean Action CI #32: Commit 99f6367 pushed by siddhartha-gadgil
September 13, 2024 13:21 27s loogle
loogle
September 13, 2024 13:21 27s
Command with examples Lean Action CI #31: Commit 0105add pushed by siddhartha-gadgil
September 13, 2024 12:56 21s loogle
loogle
September 13, 2024 12:56 21s
All cases for commands Lean Action CI #30: Commit e51d414 pushed by siddhartha-gadgil
September 13, 2024 12:54 29s loogle
loogle
September 13, 2024 12:54 29s
loogle initial code Lean Action CI #29: Commit 7110734 pushed by siddhartha-gadgil
September 13, 2024 10:10 22s loogle
loogle
September 13, 2024 10:10 22s
Merge pull request #5 from leanprover-community/moogle_test Lean Action CI #28: Commit e7fa7bc pushed by siddhartha-gadgil
September 13, 2024 09:44 21s main
main
September 13, 2024 09:44 21s
Testing moogle too Lean Action CI #27: Pull request #5 opened by siddhartha-gadgil
September 13, 2024 09:43 21s moogle_test
moogle_test
September 13, 2024 09:43 21s
Testing moogle too Lean Action CI #26: Commit 3d42be7 pushed by siddhartha-gadgil
September 13, 2024 09:42 19s moogle_test
moogle_test
September 13, 2024 09:42 19s
Moogle examples is README Lean Action CI #25: Commit e9d99a3 pushed by siddhartha-gadgil
September 13, 2024 06:42 20s moogle
moogle
September 13, 2024 06:42 20s
Moogle examples is README Lean Action CI #24: Pull request #4 opened by siddhartha-gadgil
September 13, 2024 05:02 19s moogle
moogle
September 13, 2024 05:02 19s
Lean Action CI Lean Action CI #23: by siddhartha-gadgil
September 13, 2024 05:01 28s main
main
September 13, 2024 05:01 28s
Merge pull request #3 from leanprover-community/moogle Lean Action CI #22: Commit a6fffcf pushed by kim-em
September 13, 2024 03:34 20s main
main
September 13, 2024 03:34 20s
Moogle syntax Lean Action CI #21: Pull request #3 synchronize by kim-em
September 13, 2024 03:33 28s moogle
moogle
September 13, 2024 03:33 28s
Apply suggestions from code review Lean Action CI #20: Commit 05f5fe6 pushed by kim-em
September 13, 2024 03:33 21s moogle
moogle
September 13, 2024 03:33 21s
Moogle syntax Lean Action CI #19: Pull request #3 synchronize by siddhartha-gadgil
September 12, 2024 15:24 29s moogle
moogle
September 12, 2024 15:24 29s
further reduced duplication Lean Action CI #18: Commit 9fc966a pushed by siddhartha-gadgil
September 12, 2024 15:24 28s moogle
moogle
September 12, 2024 15:24 28s
Moogle syntax Lean Action CI #17: Pull request #3 synchronize by siddhartha-gadgil
September 12, 2024 12:23 27s moogle
moogle
September 12, 2024 12:23 27s
reduced some code duplication Lean Action CI #16: Commit 1e1e49b pushed by siddhartha-gadgil
September 12, 2024 12:23 21s moogle
moogle
September 12, 2024 12:23 21s
Moogle syntax Lean Action CI #15: Pull request #3 synchronize by siddhartha-gadgil
September 12, 2024 09:49 23s moogle
moogle
September 12, 2024 09:49 23s
refactored "incompleteSyntax" Lean Action CI #14: Commit 05e26f9 pushed by siddhartha-gadgil
September 12, 2024 09:49 21s moogle
moogle
September 12, 2024 09:49 21s
Moogle syntax Lean Action CI #13: Pull request #3 synchronize by siddhartha-gadgil
September 12, 2024 09:30 18s moogle
moogle
September 12, 2024 09:30 18s