Skip to content

Actions: lean-dojo/LeanDojo

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
638 workflow runs
638 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

bugfix Black Code Formatter #729: Commit efaa04e pushed by yangky11
December 8, 2024 17:07 20s v2.2.0
v2.2.0
December 8, 2024 17:07 20s
bugfix Black Code Formatter #728: Commit efaa04e pushed by yangky11
December 8, 2024 17:00 20s main
main
December 8, 2024 17:00 20s
bugfix Typechecker #286: Commit efaa04e pushed by yangky11
December 8, 2024 17:00 1m 13s main
main
December 8, 2024 17:00 1m 13s
minor update Black Code Formatter #727: Commit ac13697 pushed by yangky11
December 4, 2024 20:53 21s main
main
December 4, 2024 20:53 21s
minor update Typechecker #285: Commit ac13697 pushed by yangky11
December 4, 2024 20:53 52s main
main
December 4, 2024 20:53 52s
minor updates Typechecker #284: Commit fe8ee85 pushed by yangky11
December 3, 2024 16:57 1m 4s main
main
December 3, 2024 16:57 1m 4s
minor updates Black Code Formatter #726: Commit fe8ee85 pushed by yangky11
December 3, 2024 16:57 19s main
main
December 3, 2024 16:57 19s
allow submodule for local type Typechecker #283: Pull request #206 synchronize by RexWzh
December 3, 2024 14:21 57s Lean-zh:main
Lean-zh:main
December 3, 2024 14:21 57s
allow submodule for local type Black Code Formatter #725: Pull request #206 synchronize by RexWzh
December 3, 2024 14:21 25s Lean-zh:main
Lean-zh:main
December 3, 2024 14:21 25s
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