Skip to content

Actions: lean-dojo/LeanDojo

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
509 workflow runs
509 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Extend function features to allow new repo types Typechecker #230: Pull request #190 opened by RexWzh
July 25, 2024 04:01 53s Lean-zh:simplify-funcs
Lean-zh:simplify-funcs
July 25, 2024 04:01 53s
format code Black Code Formatter #649: Commit 60a500e pushed by yangky11
July 24, 2024 19:55 19s dev
dev
July 24, 2024 19:55 19s
Merge pull request #188 from Lean-zh/check-git-version Black Code Formatter #648: Commit f58eb51 pushed by yangky11
July 24, 2024 19:54 19s dev
dev
July 24, 2024 19:54 19s
Update __init__.py Black Code Formatter #647: Commit 042452c pushed by yangky11
July 24, 2024 19:52 23s dev
dev
July 24, 2024 19:52 23s
Fix git method & add more tests Black Code Formatter #646: Pull request #188 synchronize by RexWzh
July 23, 2024 19:35 25s Lean-zh:check-git-version
Lean-zh:check-git-version
July 23, 2024 19:35 25s
Fix git method & add more tests Typechecker #229: Pull request #188 synchronize by RexWzh
July 23, 2024 19:35 54s Lean-zh:check-git-version
Lean-zh:check-git-version
July 23, 2024 19:35 54s
Update __init__.py Black Code Formatter #640: Commit 042452c pushed by yangky11
July 23, 2024 00:52 25s main
main
July 23, 2024 00:52 25s
Update __init__.py Typechecker #223: Commit 042452c pushed by yangky11
July 23, 2024 00:52 52s main
main
July 23, 2024 00:52 52s
check if the traced repo is outdated Black Code Formatter #638: Commit 2ff92a4 pushed by yangky11
July 17, 2024 15:16 23s v2.0.3
v2.0.3
July 17, 2024 15:16 23s
check if the traced repo is outdated Black Code Formatter #637: Commit 2ff92a4 pushed by yangky11
July 17, 2024 13:57 24s main
main
July 17, 2024 13:57 24s
check if the traced repo is outdated Typechecker #221: Commit 2ff92a4 pushed by yangky11
July 17, 2024 13:57 58s main
main
July 17, 2024 13:57 58s
minor fix Black Code Formatter #636: Commit 9fdb429 pushed by yangky11
July 17, 2024 13:27 22s main
main
July 17, 2024 13:27 22s
minor fix Typechecker #220: Commit 9fdb429 pushed by yangky11
July 17, 2024 13:27 56s main
main
July 17, 2024 13:27 56s
format code Typechecker #219: Commit 0f11dbd pushed by yangky11
July 15, 2024 14:12 58s main
main
July 15, 2024 14:12 58s
format code Black Code Formatter #635: Commit 0f11dbd pushed by yangky11
July 15, 2024 14:12 23s main
main
July 15, 2024 14:12 23s
add test Typechecker #218: Commit b498fd5 pushed by yangky11
July 15, 2024 14:11 1m 0s main
main
July 15, 2024 14:11 1m 0s
add test Black Code Formatter #634: Commit b498fd5 pushed by yangky11
July 15, 2024 14:11 19s main
main
July 15, 2024 14:11 19s
update Black Code Formatter #633: Commit 3638b86 pushed by yangky11
July 15, 2024 12:47 23s v2.0.2
v2.0.2
July 15, 2024 12:47 23s
update Typechecker #217: Commit 3638b86 pushed by yangky11
July 15, 2024 12:39 1m 0s main
main
July 15, 2024 12:39 1m 0s
update Black Code Formatter #632: Commit 3638b86 pushed by yangky11
July 15, 2024 12:39 23s main
main
July 15, 2024 12:39 23s
Merge pull request #181 from lean-dojo/kaiyu Black Code Formatter #626: Commit 0295641 pushed by yangky11
July 10, 2024 03:21 18s main
main
July 10, 2024 03:21 18s
Merge pull request #181 from lean-dojo/kaiyu Typechecker #211: Commit 0295641 pushed by yangky11
July 10, 2024 03:21 54s main
main
July 10, 2024 03:21 54s
minor change in tests Typechecker #210: Pull request #181 opened by yangky11
July 10, 2024 03:21 58s kaiyu
kaiyu
July 10, 2024 03:21 58s
minor change in tests Black Code Formatter #625: Pull request #181 opened by yangky11
July 10, 2024 03:21 24s kaiyu
kaiyu
July 10, 2024 03:21 24s
minor change in tests Black Code Formatter #624: Commit dda626f pushed by yangky11
July 10, 2024 03:07 23s kaiyu
kaiyu
July 10, 2024 03:07 23s