Skip to content

Actions: lean-dojo/LeanDojo

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
449 workflow runs
449 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #222 from lean-dojo/check_proof Black Code Formatter #735: Commit 4b7b4d6 pushed by yangky11
February 12, 2025 19:12 24s main
main
February 12, 2025 19:12 24s
Merge pull request #222 from lean-dojo/check_proof Typechecker #288: Commit 4b7b4d6 pushed by yangky11
February 12, 2025 19:12 52s main
main
February 12, 2025 19:12 52s
Check proof Typechecker #287: Pull request #222 opened by yangky11
February 12, 2025 19:11 1m 10s check_proof
check_proof
February 12, 2025 19:11 1m 10s
Check proof Black Code Formatter #734: Pull request #222 opened by yangky11
February 12, 2025 19:11 24s check_proof
check_proof
February 12, 2025 19:11 24s
minor updates Black Code Formatter #733: Commit 7ff1628 pushed by yangky11
February 12, 2025 19:11 20s check_proof
check_proof
February 12, 2025 19:11 20s
minor fix Black Code Formatter #732: Commit eefcc9e pushed by yangky11
February 12, 2025 03:57 21s check_proof
check_proof
February 12, 2025 03:57 21s
fix sorry errors in check_proof Black Code Formatter #731: Commit 5225ad0 pushed by yangky11
February 12, 2025 03:45 20s check_proof
check_proof
February 12, 2025 03:45 20s
add check_proof Black Code Formatter #730: Commit d7d0214 pushed by yangky11
February 11, 2025 16:23 22s check_proof
check_proof
February 11, 2025 16:23 22s
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