Skip to content

Actions: lean-dojo/LeanDojo

Actions

Black Code Formatter

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
format_code.yaml
317 workflow runs
317 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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
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
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 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 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
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 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 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 Black Code Formatter #619: Pull request #180 opened by yangky11
July 10, 2024 02:56 22s kaiyu
kaiyu
July 10, 2024 02:56 22s
use pexpect Black Code Formatter #618: Commit 50cf9fa pushed by yangky11
July 10, 2024 02:53 25s kaiyu
kaiyu
July 10, 2024 02:53 25s
Update type_check.yaml Black Code Formatter #616: Commit 3742322 pushed by Peiyang-Song
July 8, 2024 09:55 24s main
main
July 8, 2024 09:55 24s
Merge pull request #178 from Peiyang-Song/main Black Code Formatter #615: Commit 7b12a73 pushed by Peiyang-Song
July 8, 2024 09:45 19s main
main
July 8, 2024 09:45 19s
Minor fix to remove CI node warning Black Code Formatter #614: Pull request #178 opened by Peiyang-Song
July 8, 2024 09:44 23s main
main
July 8, 2024 09:44 23s
Update user-guide.rst Black Code Formatter #613: Commit abcfb72 pushed by yangky11
July 4, 2024 12:57 22s v2.0.0
v2.0.0
July 4, 2024 12:57 22s