Skip to content

Actions: lean-dojo/LeanDojo

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
776 workflow runs
776 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

v2.1.3 Black Code Formatter #724: Commit b832856 pushed by yangky11
October 13, 2024 22:39 20s v2.1.3
v2.1.3
October 13, 2024 22:39 20s
v2.1.3 Typechecker #282: Commit b832856 pushed by yangky11
October 13, 2024 22:35 48s main
main
October 13, 2024 22:35 48s
v2.1.3 Black Code Formatter #723: Commit b832856 pushed by yangky11
October 13, 2024 22:35 22s main
main
October 13, 2024 22:35 22s
fix LakeMain.lean Typechecker #281: Commit ab13370 pushed by yangky11
October 6, 2024 20:47 56s main
main
October 6, 2024 20:47 56s
fix LakeMain.lean Black Code Formatter #722: Commit ab13370 pushed by yangky11
October 6, 2024 20:47 21s main
main
October 6, 2024 20:47 21s
remove unnecessary line Black Code Formatter #720: Commit fed54c2 pushed by yangky11
September 19, 2024 03:30 20s main
main
September 19, 2024 03:30 20s
remove unnecessary line Typechecker #279: Commit fed54c2 pushed by yangky11
September 19, 2024 03:30 56s main
main
September 19, 2024 03:30 56s
minor update Typechecker #277: Commit 7f66e93 pushed by yangky11
September 18, 2024 14:53 56s main
main
September 18, 2024 14:53 56s
minor update Black Code Formatter #718: Commit 7f66e93 pushed by yangky11
September 18, 2024 14:53 22s main
main
September 18, 2024 14:53 22s
minor fix Black Code Formatter #717: Commit 6db9fc7 pushed by yangky11
September 18, 2024 02:03 20s main
main
September 18, 2024 02:03 20s
minor fix Typechecker #276: Commit 6db9fc7 pushed by yangky11
September 18, 2024 02:03 1m 0s main
main
September 18, 2024 02:03 1m 0s
minor fix Typechecker #275: Commit cef522f pushed by yangky11
September 18, 2024 01:56 55s main
main
September 18, 2024 01:56 55s
minor fix Black Code Formatter #716: Commit cef522f pushed by yangky11
September 18, 2024 01:56 19s main
main
September 18, 2024 01:56 19s
allow submodule for local type Black Code Formatter #714: Pull request #206 opened by RexWzh
September 11, 2024 01:39 25s Lean-zh:main
Lean-zh:main
September 11, 2024 01:39 25s
allow submodule for local type Typechecker #273: Pull request #206 opened by RexWzh
September 11, 2024 01:39 1m 4s Lean-zh:main
Lean-zh:main
September 11, 2024 01:39 1m 4s
update Black Code Formatter #713: Commit c1efbf6 pushed by yangky11
September 6, 2024 13:05 24s main
main
September 6, 2024 13:05 24s
update Typechecker #272: Commit c1efbf6 pushed by yangky11
September 6, 2024 13:05 54s main
main
September 6, 2024 13:05 54s
bugfix Black Code Formatter #712: Commit 6d0795a pushed by yangky11
September 4, 2024 16:58 25s main
main
September 4, 2024 16:58 25s
bugfix Typechecker #271: Commit 6d0795a pushed by yangky11
September 4, 2024 16:58 56s main
main
September 4, 2024 16:58 56s
Merge pull request #205 from realharryhero/main Black Code Formatter #711: Commit 8b7792a pushed by yangky11
September 3, 2024 04:08 22s main
main
September 3, 2024 04:08 22s
Merge pull request #205 from realharryhero/main Typechecker #270: Commit 8b7792a pushed by yangky11
September 3, 2024 04:08 51s main
main
September 3, 2024 04:08 51s
Fix(typing): mypy errors Typechecker #268: Pull request #204 synchronize by AntiKnot
August 30, 2024 01:44 51s AntiKnot:fix-mypy-errors
AntiKnot:fix-mypy-errors
August 30, 2024 01:44 51s
Fix(typing): mypy errors Black Code Formatter #709: Pull request #204 synchronize by AntiKnot
August 30, 2024 01:44 25s AntiKnot:fix-mypy-errors
AntiKnot:fix-mypy-errors
August 30, 2024 01:44 25s
update Black Code Formatter #708: Commit 9f4d398 pushed by yangky11
August 29, 2024 21:32 22s dev
dev
August 29, 2024 21:32 22s
Merge pull request #198 from lean-dojo/dev Black Code Formatter #705: Commit 9b19df9 pushed by yangky11
August 15, 2024 02:32 20s v2.1.2
v2.1.2
August 15, 2024 02:32 20s