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

Incorporate Recent Commits Typechecker #249: Pull request #192 synchronize by yangky11
August 5, 2024 00:57 1m 30s dev
dev
August 5, 2024 00:57 1m 30s
minor edits to get_traced_repo_path Black Code Formatter #673: Commit 897c6f1 pushed by yangky11
August 5, 2024 00:57 20s dev
dev
August 5, 2024 00:57 20s
Incorporate Recent Commits Black Code Formatter #672: Pull request #192 synchronize by yangky11
August 5, 2024 00:49 24s dev
dev
August 5, 2024 00:49 24s
Incorporate Recent Commits Typechecker #248: Pull request #192 synchronize by yangky11
August 5, 2024 00:49 1m 21s dev
dev
August 5, 2024 00:49 1m 21s
edit imports Black Code Formatter #671: Commit 515d361 pushed by yangky11
August 5, 2024 00:49 23s dev
dev
August 5, 2024 00:49 23s
Incorporate Recent Commits Typechecker #247: Pull request #192 synchronize by yangky11
August 5, 2024 00:45 1m 17s dev
dev
August 5, 2024 00:45 1m 17s
Incorporate Recent Commits Black Code Formatter #670: Pull request #192 synchronize by yangky11
August 5, 2024 00:45 19s dev
dev
August 5, 2024 00:45 19s
move _split_git_url Black Code Formatter #669: Commit 43f770b pushed by yangky11
August 5, 2024 00:45 20s dev
dev
August 5, 2024 00:45 20s
Incorporate Recent Commits Typechecker #246: Pull request #192 synchronize by yangky11
August 5, 2024 00:30 1m 12s dev
dev
August 5, 2024 00:30 1m 12s
Incorporate Recent Commits Black Code Formatter #668: Pull request #192 synchronize by yangky11
August 5, 2024 00:30 22s dev
dev
August 5, 2024 00:30 22s
minor cleanup Black Code Formatter #667: Commit 7adf033 pushed by yangky11
August 5, 2024 00:30 22s dev
dev
August 5, 2024 00:30 22s
Incorporate Recent Commits Typechecker #245: Pull request #192 opened by yangky11
July 31, 2024 00:55 54s dev
dev
July 31, 2024 00:55 54s
Incorporate Recent Commits Black Code Formatter #666: Pull request #192 opened by yangky11
July 31, 2024 00:55 25s dev
dev
July 31, 2024 00:55 25s
Update getting-started.rst Typechecker #244: Commit 8134232 pushed by yangky11
July 30, 2024 20:33 59s main
main
July 30, 2024 20:33 59s
Update getting-started.rst Black Code Formatter #665: Commit 8134232 pushed by yangky11
July 30, 2024 20:33 24s main
main
July 30, 2024 20:33 24s
Update README.md Black Code Formatter #664: Commit 672bacb pushed by yangky11
July 30, 2024 20:32 23s main
main
July 30, 2024 20:32 23s
Update README.md Typechecker #243: Commit 672bacb pushed by yangky11
July 30, 2024 20:32 50s main
main
July 30, 2024 20:32 50s
Merge pull request #179 from Lean-zh/main Black Code Formatter #663: Commit ad23694 pushed by yangky11
July 30, 2024 11:50 21s dev
dev
July 30, 2024 11:50 21s
Add Support for Local and Remote Repositories Black Code Formatter #662: Pull request #179 synchronize by RexWzh
July 29, 2024 18:36 25s Lean-zh:main
Lean-zh:main
July 29, 2024 18:36 25s
Add Support for Local and Remote Repositories Typechecker #242: Pull request #179 synchronize by RexWzh
July 29, 2024 18:36 50s Lean-zh:main
Lean-zh:main
July 29, 2024 18:36 50s
Add Support for Local and Remote Repositories Typechecker #241: Pull request #179 synchronize by RexWzh
July 29, 2024 17:53 53s Lean-zh:main
Lean-zh:main
July 29, 2024 17:53 53s
Add Support for Local and Remote Repositories Black Code Formatter #661: Pull request #179 synchronize by RexWzh
July 29, 2024 17:53 20s Lean-zh:main
Lean-zh:main
July 29, 2024 17:53 20s
Add Support for Local and Remote Repositories Typechecker #240: Pull request #179 synchronize by RexWzh
July 29, 2024 15:35 1m 1s Lean-zh:main
Lean-zh:main
July 29, 2024 15:35 1m 1s
Add Support for Local and Remote Repositories Black Code Formatter #660: Pull request #179 synchronize by RexWzh
July 29, 2024 15:35 25s Lean-zh:main
Lean-zh:main
July 29, 2024 15:35 25s
Add Support for Local and Remote Repositories Black Code Formatter #659: Pull request #179 synchronize by RexWzh
July 29, 2024 09:18 26s Lean-zh:main
Lean-zh:main
July 29, 2024 09:18 26s