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

toolchain updated Lean Action CI #62: Commit 86d0d05 pushed by siddhartha-gadgil
November 5, 2024 06:57 24s main
main
November 5, 2024 06:57 24s
caching Lean Action CI #61: Commit 7bedaed pushed by siddhartha-gadgil
October 14, 2024 15:21 24s main
main
October 14, 2024 15:21 24s
toolchain update Lean Action CI #60: Commit 4b61d4a pushed by siddhartha-gadgil
October 4, 2024 13:39 20s main
main
October 4, 2024 13:39 20s
tactics with colGt; fixes #10 Lean Action CI #59: Commit 781bece pushed by siddhartha-gadgil
October 4, 2024 13:38 21s v4.12.0
v4.12.0
October 4, 2024 13:38 21s
tactics with colGt; fixes #10 Lean Action CI #58: Commit 781bece pushed by siddhartha-gadgil
October 4, 2024 13:37 18s v4.11.0
v4.11.0
October 4, 2024 13:37 18s
tactics with colGt; fixes #10 Lean Action CI #57: Commit 781bece pushed by siddhartha-gadgil
October 2, 2024 02:50 24s main
main
October 2, 2024 02:50 24s
warnings for incomplete commads, rewording; for #10 Lean Action CI #56: Commit ee9a123 pushed by siddhartha-gadgil
October 2, 2024 02:10 23s main
main
October 2, 2024 02:10 23s
docstrings; closes #9 Lean Action CI #55: Commit c9e106b pushed by siddhartha-gadgil
October 1, 2024 14:59 21s main
main
October 1, 2024 14:59 21s
better error messages Lean Action CI #54: Commit 4261c7c pushed by siddhartha-gadgil
October 1, 2024 08:51 27s main
main
October 1, 2024 08:51 27s
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