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

Merge pull request #192 from lean-dojo/dev Black Code Formatter #694: Commit b9d2115 pushed by yangky11
August 6, 2024 02:21 22s v2.1.0
v2.1.0
August 6, 2024 02:21 22s
Merge pull request #192 from lean-dojo/dev Black Code Formatter #693: Commit b9d2115 pushed by yangky11
August 6, 2024 02:20 21s main
main
August 6, 2024 02:20 21s
Merge pull request #192 from lean-dojo/dev Typechecker #259: Commit b9d2115 pushed by yangky11
August 6, 2024 02:20 53s main
main
August 6, 2024 02:20 53s
Incorporate Recent Commits Black Code Formatter #692: Pull request #192 synchronize by yangky11
August 6, 2024 02:20 21s dev
dev
August 6, 2024 02:20 21s
Incorporate Recent Commits Typechecker #258: Pull request #192 synchronize by yangky11
August 6, 2024 02:20 1m 0s dev
dev
August 6, 2024 02:20 1m 0s
minor edits Black Code Formatter #691: Commit 297b96e pushed by yangky11
August 6, 2024 02:20 20s dev
dev
August 6, 2024 02:20 20s
Incorporate Recent Commits Typechecker #257: Pull request #192 synchronize by yangky11
August 5, 2024 20:08 1m 25s dev
dev
August 5, 2024 20:08 1m 25s
Incorporate Recent Commits Black Code Formatter #690: Pull request #192 synchronize by yangky11
August 5, 2024 20:08 25s dev
dev
August 5, 2024 20:08 25s
update tests Black Code Formatter #689: Commit ddfe9c5 pushed by yangky11
August 5, 2024 20:08 19s dev
dev
August 5, 2024 20:08 19s
Incorporate Recent Commits Black Code Formatter #688: Pull request #192 synchronize by yangky11
August 5, 2024 13:55 21s dev
dev
August 5, 2024 13:55 21s
Incorporate Recent Commits Typechecker #256: Pull request #192 synchronize by yangky11
August 5, 2024 13:55 1m 15s dev
dev
August 5, 2024 13:55 1m 15s
minor fix Black Code Formatter #687: Commit e662bc5 pushed by yangky11
August 5, 2024 13:55 23s dev
dev
August 5, 2024 13:55 23s
Incorporate Recent Commits Black Code Formatter #686: Pull request #192 synchronize by yangky11
August 5, 2024 13:27 27s dev
dev
August 5, 2024 13:27 27s
Incorporate Recent Commits Typechecker #255: Pull request #192 synchronize by yangky11
August 5, 2024 13:27 1m 23s dev
dev
August 5, 2024 13:27 1m 23s
fix some typing errors Black Code Formatter #685: Commit 777b3c3 pushed by yangky11
August 5, 2024 13:27 23s dev
dev
August 5, 2024 13:27 23s
Incorporate Recent Commits Black Code Formatter #684: Pull request #192 synchronize by yangky11
August 5, 2024 12:51 24s dev
dev
August 5, 2024 12:51 24s
Incorporate Recent Commits Typechecker #254: Pull request #192 synchronize by yangky11
August 5, 2024 12:51 1m 17s dev
dev
August 5, 2024 12:51 1m 17s
add @cache Black Code Formatter #683: Commit 44742d9 pushed by yangky11
August 5, 2024 12:51 24s dev
dev
August 5, 2024 12:51 24s
Incorporate Recent Commits Typechecker #253: Pull request #192 synchronize by yangky11
August 5, 2024 02:11 1m 11s dev
dev
August 5, 2024 02:11 1m 11s
Incorporate Recent Commits Black Code Formatter #682: Pull request #192 synchronize by yangky11
August 5, 2024 02:11 19s dev
dev
August 5, 2024 02:11 19s
format code Black Code Formatter #681: Commit 819ed53 pushed by yangky11
August 5, 2024 02:11 19s dev
dev
August 5, 2024 02:11 19s
Incorporate Recent Commits Black Code Formatter #680: Pull request #192 synchronize by yangky11
August 5, 2024 02:10 18s dev
dev
August 5, 2024 02:10 18s
Incorporate Recent Commits Typechecker #252: Pull request #192 synchronize by yangky11
August 5, 2024 02:10 1m 19s dev
dev
August 5, 2024 02:10 1m 19s
fix get_cache_dirname Black Code Formatter #679: Commit 493d890 pushed by yangky11
August 5, 2024 02:10 18s dev
dev
August 5, 2024 02:10 18s
Incorporate Recent Commits Black Code Formatter #678: Pull request #192 synchronize by yangky11
August 5, 2024 02:08 19s dev
dev
August 5, 2024 02:08 19s