Skip to content

Actions: leanprover-community/LeanSearchClient

Actions

Lean Action CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lean_action_ci.yml
63 workflow runs
63 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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