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

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
Merge pull request #180 from lean-dojo/kaiyu Black Code Formatter #623: Commit 501a573 pushed by yangky11
July 10, 2024 03:03 23s v2.0.1
v2.0.1
July 10, 2024 03:03 23s
Merge pull request #180 from lean-dojo/kaiyu Typechecker #209: Commit 501a573 pushed by yangky11
July 10, 2024 03:00 58s main
main
July 10, 2024 03:00 58s
Merge pull request #180 from lean-dojo/kaiyu Black Code Formatter #622: Commit 501a573 pushed by yangky11
July 10, 2024 03:00 23s main
main
July 10, 2024 03:00 23s
Use pexpect instead of signal in dojo.py Typechecker #208: Pull request #180 synchronize by yangky11
July 10, 2024 02:59 55s kaiyu
kaiyu
July 10, 2024 02:59 55s
Use pexpect instead of signal in dojo.py Black Code Formatter #621: Pull request #180 synchronize by yangky11
July 10, 2024 02:59 24s kaiyu
kaiyu
July 10, 2024 02:59 24s
fix mypy error Black Code Formatter #620: Commit 6ce9e9c pushed by yangky11
July 10, 2024 02:59 19s kaiyu
kaiyu
July 10, 2024 02:59 19s
Use pexpect instead of signal in dojo.py Typechecker #207: Pull request #180 opened by yangky11
July 10, 2024 02:56 49s kaiyu
kaiyu
July 10, 2024 02:56 49s