Skip to content

Actions: leanprover-community/LeanSearchClient

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
77 workflow runs
77 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'loogle_nonreserved' Lean Action CI #53: Commit 2ba60fa pushed by siddhartha-gadgil
September 19, 2024 10:50 22s main
main
September 19, 2024 10:50 22s
added loogle syntax Lean Action CI #52: Commit 8bf02ea pushed by siddhartha-gadgil
September 19, 2024 09:43 20s loogle_nonreserved
loogle_nonreserved
September 19, 2024 09:43 20s
Merge branch 'loogle_nonreserved' Lean Action CI #51: Commit dee1ae2 pushed by siddhartha-gadgil
September 19, 2024 09:41 26s main
main
September 19, 2024 09:41 26s
explicit syntax avoiding weird matches Lean Action CI #50: Commit 67117ec pushed by siddhartha-gadgil
September 19, 2024 09:31 22s loogle_nonreserved
loogle_nonreserved
September 19, 2024 09:31 22s
removed debug logInfo Lean Action CI #49: Commit 3d5dbb0 pushed by siddhartha-gadgil
September 19, 2024 01:31 19s loogle_nonreserved
loogle_nonreserved
September 19, 2024 01:31 19s
removed loogle syntax again Lean Action CI #48: Commit 37d189f pushed by siddhartha-gadgil
September 19, 2024 00:37 22s loogle_nonreserved
loogle_nonreserved
September 19, 2024 00:37 22s
Merge pull request #7 from leanprover-community/loogle_nonreserved Lean Action CI #47: Commit 565ce2c pushed by siddhartha-gadgil
September 18, 2024 14:25 28s main
main
September 18, 2024 14:25 28s
loogle syntax with nonreserved Lean Action CI #46: Pull request #7 synchronize by siddhartha-gadgil
September 18, 2024 11:43 27s loogle_nonreserved
loogle_nonreserved
September 18, 2024 11:43 27s
removed noise Lean Action CI #45: Commit ef3288d pushed by siddhartha-gadgil
September 18, 2024 11:43 26s loogle_nonreserved
loogle_nonreserved
September 18, 2024 11:43 26s
loogle syntax with nonreserved Lean Action CI #44: Pull request #7 opened by siddhartha-gadgil
September 18, 2024 10:24 30s loogle_nonreserved
loogle_nonreserved
September 18, 2024 10:24 30s
loogle syntax with nonreserved Lean Action CI #43: Commit 860de61 pushed by siddhartha-gadgil
September 18, 2024 10:14 21s loogle_nonreserved
loogle_nonreserved
September 18, 2024 10:14 21s
removed loogle syntax Lean Action CI #42: Commit 3e9460c pushed by siddhartha-gadgil
September 17, 2024 10:16 22s main
main
September 17, 2024 10:16 22s
simplified syntax Lean Action CI #41: Commit 339b831 pushed by siddhartha-gadgil
September 17, 2024 08:16 25s main
main
September 17, 2024 08:16 25s
renamed "go" to "do_search" Lean Action CI #40: Commit 8e2c226 pushed by siddhartha-gadgil
September 17, 2024 08:06 30s main
main
September 17, 2024 08:06 30s
importing loogle syntax Lean Action CI #39: Commit 97cdb15 pushed by siddhartha-gadgil
September 17, 2024 01:32 22s main
main
September 17, 2024 01:32 22s
configurable useragent Lean Action CI #38: Commit 70883b9 pushed by siddhartha-gadgil
September 16, 2024 13:15 24s main
main
September 16, 2024 13:15 24s
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