Skip to content

Actions: lean-dojo/LeanDojo

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
515 workflow runs
515 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

bump to v1.5.0 Black Code Formatter #462: Commit b844a1c pushed by yangky11
January 18, 2024 15:03 20s main
main
January 18, 2024 15:03 20s
bump to v1.5.0 Typechecker #117: Commit b844a1c pushed by yangky11
January 18, 2024 15:03 1m 4s main
main
January 18, 2024 15:03 1m 4s
minor update Typechecker #116: Commit 70cdf82 pushed by yangky11
January 18, 2024 15:02 1m 0s main
main
January 18, 2024 15:02 1m 0s
minor update Black Code Formatter #461: Commit 70cdf82 pushed by yangky11
January 18, 2024 15:02 20s main
main
January 18, 2024 15:02 20s
Remove a bug where the path gets inappropriately used for string removal Black Code Formatter #460: Pull request #128 synchronize by albertqjiang
January 12, 2024 22:11 21s albertqjiang:main
albertqjiang:main
January 12, 2024 22:11 21s
Remove a bug where the path gets inappropriately used for string removal Typechecker #115: Pull request #128 synchronize by albertqjiang
January 12, 2024 22:11 59s albertqjiang:main
albertqjiang:main
January 12, 2024 22:11 59s
Remove a bug where the path gets inappropriately used for string removal Typechecker #114: Pull request #128 opened by albertqjiang
January 12, 2024 22:01 59s albertqjiang:main
albertqjiang:main
January 12, 2024 22:01 59s
Remove a bug where the path gets inappropriately used for string removal Black Code Formatter #459: Pull request #128 opened by albertqjiang
January 12, 2024 22:01 23s albertqjiang:main
albertqjiang:main
January 12, 2024 22:01 23s
Merge pull request #127 from lean-dojo/dev Black Code Formatter #458: Commit 403c773 pushed by yangky11
January 10, 2024 17:21 31s main
main
January 10, 2024 17:21 31s
Merge pull request #127 from lean-dojo/dev Typechecker #113: Commit 403c773 pushed by yangky11
January 10, 2024 17:21 1m 7s main
main
January 10, 2024 17:21 1m 7s
fix Lean 4 ASTs Typechecker #112: Pull request #127 opened by yangky11
January 10, 2024 17:21 1m 8s dev
dev
January 10, 2024 17:21 1m 8s
fix Lean 4 ASTs Black Code Formatter #457: Pull request #127 opened by yangky11
January 10, 2024 17:21 35s dev
dev
January 10, 2024 17:21 35s
fix Lean 4 ASTs Black Code Formatter #456: Commit 0f56e16 pushed by yangky11
January 10, 2024 17:20 33s dev
dev
January 10, 2024 17:20 33s
Merge pull request #126 from lean-dojo/dev Typechecker #111: Commit 4718a10 pushed by yangky11
January 10, 2024 15:46 1m 1s main
main
January 10, 2024 15:46 1m 1s
Merge pull request #126 from lean-dojo/dev Black Code Formatter #455: Commit 4718a10 pushed by yangky11
January 10, 2024 15:46 24s main
main
January 10, 2024 15:46 24s
fix lean 4 ast Typechecker #110: Pull request #126 opened by yangky11
January 10, 2024 15:46 59s dev
dev
January 10, 2024 15:46 59s
fix lean 4 ast Black Code Formatter #454: Pull request #126 opened by yangky11
January 10, 2024 15:46 19s dev
dev
January 10, 2024 15:46 19s
fix lean 4 ast Black Code Formatter #453: Commit 9a7d31d pushed by yangky11
January 10, 2024 15:45 28s dev
dev
January 10, 2024 15:45 28s
Merge pull request #125 from lean-dojo/dev Black Code Formatter #452: Commit 6e6a4e7 pushed by yangky11
January 9, 2024 00:39 21s main
main
January 9, 2024 00:39 21s
Merge pull request #125 from lean-dojo/dev Typechecker #109: Commit 6e6a4e7 pushed by yangky11
January 9, 2024 00:39 57s main
main
January 9, 2024 00:39 57s
Updates Typechecker #108: Pull request #125 opened by yangky11
January 9, 2024 00:39 59s dev
dev
January 9, 2024 00:39 59s
Updates Black Code Formatter #451: Pull request #125 opened by yangky11
January 9, 2024 00:39 19s dev
dev
January 9, 2024 00:39 19s
update Black Code Formatter #450: Commit b34d784 pushed by yangky11
January 9, 2024 00:39 21s dev
dev
January 9, 2024 00:39 21s
Merge pull request #123 from albertqjiang/main Typechecker #107: Commit e3b1d28 pushed by yangky11
January 8, 2024 20:19 1m 6s main
main
January 8, 2024 20:19 1m 6s
Merge pull request #123 from albertqjiang/main Black Code Formatter #449: Commit e3b1d28 pushed by yangky11
January 8, 2024 20:19 20s main
main
January 8, 2024 20:19 20s
ProTip! You can narrow down the results and go further in time using created:<2024-01-08 or the other filters available.