Skip to content

Actions: lean-dojo/LeanDojo

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
934 workflow runs
934 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix(typing): mypy errors Typechecker #280: Pull request #204 synchronize by AntiKnot
September 20, 2024 07:30 Action required AntiKnot:fix-mypy-errors
AntiKnot:fix-mypy-errors
September 20, 2024 07:30 Action required
Fix(typing): mypy errors Black Code Formatter #721: Pull request #204 synchronize by AntiKnot
September 20, 2024 07:30 Action required AntiKnot:fix-mypy-errors
AntiKnot:fix-mypy-errors
September 20, 2024 07:30 Action required
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
Fix(typing): mypy errors Typechecker #278: Pull request #204 synchronize by AntiKnot
September 19, 2024 03:05 Action required AntiKnot:fix-mypy-errors
AntiKnot:fix-mypy-errors
September 19, 2024 03:05 Action required
Fix(typing): mypy errors Black Code Formatter #719: Pull request #204 synchronize by AntiKnot
September 19, 2024 03:05 Action required AntiKnot:fix-mypy-errors
AntiKnot:fix-mypy-errors
September 19, 2024 03:05 Action required
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
Fix(typing): mypy errors Black Code Formatter #715: Pull request #204 synchronize by AntiKnot
September 15, 2024 14:29 Action required AntiKnot:fix-mypy-errors
AntiKnot:fix-mypy-errors
September 15, 2024 14:29 Action required
Fix(typing): mypy errors Typechecker #274: Pull request #204 synchronize by AntiKnot
September 15, 2024 14:29 Action required AntiKnot:fix-mypy-errors
AntiKnot:fix-mypy-errors
September 15, 2024 14:29 Action required
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