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

More symmetric names Lean Action CI #12: Commit 49fa2fe pushed by siddhartha-gadgil
September 12, 2024 09:30 31s moogle
moogle
September 12, 2024 09:30 31s
Moogle syntax Lean Action CI #11: Pull request #3 opened by siddhartha-gadgil
September 12, 2024 09:25 27s moogle
moogle
September 12, 2024 09:25 27s
Names, docs corrected Lean Action CI #10: Commit 2dddae1 pushed by siddhartha-gadgil
September 12, 2024 09:24 24s moogle
moogle
September 12, 2024 09:24 24s
Moogle code draft (some renaming remains) Lean Action CI #9: Commit 1bb389e pushed by siddhartha-gadgil
September 12, 2024 09:17 22s moogle
moogle
September 12, 2024 09:17 22s
Merge pull request #2 from siddhartha-gadgil/cleanup Lean Action CI #8: Commit c260ed9 pushed by siddhartha-gadgil
September 12, 2024 02:32 21s main
main
September 12, 2024 02:32 21s
feat: general cleanup Lean Action CI #7: Pull request #2 opened by kim-em
September 12, 2024 02:29 50s cleanup
cleanup
September 12, 2024 02:29 50s
feat: general cleanup Lean Action CI #6: Commit 934e87e pushed by kim-em
September 12, 2024 02:29 26s cleanup
cleanup
September 12, 2024 02:29 26s
Displaying suggestions with InteractiveCode widget Lean Action CI #4: Pull request #1 opened by 0art0
September 11, 2024 13:53 25s 0art0:main
0art0:main
September 11, 2024 13:53 25s
correction Lean Action CI #3: Commit 1709ad5 pushed by siddhartha-gadgil
September 11, 2024 08:18 21s main
main
September 11, 2024 08:18 21s
The basic syntax and examples Lean Action CI #2: Commit 236071f pushed by siddhartha-gadgil
September 11, 2024 04:13 18s main
main
September 11, 2024 04:13 18s
initial commit Lean Action CI #1: Commit 58c8c9e pushed by siddhartha-gadgil
September 11, 2024 03:46 20s main
main
September 11, 2024 03:46 20s