Skip to content

Actions: lean-dojo/LeanDojo

Actions

Black Code Formatter

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
format_code.yaml
311 workflow runs
311 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

bump to v1.8.2 Black Code Formatter #542: Commit eea6cf8 pushed by yangky11
April 11, 2024 13:35 23s v1.8.2
v1.8.2
April 11, 2024 13:35 23s
bump to v1.8.2 Black Code Formatter #541: Commit eea6cf8 pushed by yangky11
April 11, 2024 13:35 19s main
main
April 11, 2024 13:35 19s
minor fix Black Code Formatter #540: Commit 4d3054b pushed by yangky11
April 11, 2024 13:34 22s main
main
April 11, 2024 13:34 22s
format Black Code Formatter #539: Commit e30ffee pushed by yangky11
April 11, 2024 13:13 27s main
main
April 11, 2024 13:13 27s
Merge branch 'main' of https://github.com/lean-dojo/LeanDojo Black Code Formatter #538: Commit 4469635 pushed by yangky11
April 11, 2024 13:13 23s v1.8.1
v1.8.1
April 11, 2024 13:13 23s
Merge branch 'main' of https://github.com/lean-dojo/LeanDojo Black Code Formatter #537: Commit 4469635 pushed by yangky11
April 11, 2024 13:11 23s main
main
April 11, 2024 13:11 23s
Merge branch 'main' of https://github.com/lean-dojo/LeanDojo Black Code Formatter #536: Commit 24ea082 pushed by yangky11
April 11, 2024 03:38 20s main
main
April 11, 2024 03:38 20s
Merge pull request #157 from lean-dojo/yangky11-patch-3 Black Code Formatter #535: Commit dc95761 pushed by yangky11
April 11, 2024 00:59 20s main
main
April 11, 2024 00:59 20s
Update getting-started.rst Black Code Formatter #534: Pull request #157 opened by yangky11
April 11, 2024 00:58 22s yangky11-patch-3
yangky11-patch-3
April 11, 2024 00:58 22s
Update getting-started.rst Black Code Formatter #533: Commit 6a74f7f pushed by yangky11
April 11, 2024 00:58 23s yangky11-patch-3
yangky11-patch-3
April 11, 2024 00:58 23s
Merge pull request #156 from lean-dojo/yangky11-patch-2 Black Code Formatter #532: Commit 2d2770d pushed by yangky11
April 11, 2024 00:58 23s main
main
April 11, 2024 00:58 23s
Update README.md Black Code Formatter #531: Pull request #156 opened by yangky11
April 11, 2024 00:58 22s yangky11-patch-2
yangky11-patch-2
April 11, 2024 00:58 22s
Update README.md Black Code Formatter #530: Commit e04a32a pushed by yangky11
April 11, 2024 00:58 22s yangky11-patch-2
yangky11-patch-2
April 11, 2024 00:58 22s
Merge pull request #155 from lean-dojo/yangky11-patch-1 Black Code Formatter #529: Commit 1587545 pushed by yangky11
April 11, 2024 00:57 21s main
main
April 11, 2024 00:57 21s
Update getting-started.rst Black Code Formatter #528: Pull request #155 opened by yangky11
April 11, 2024 00:57 21s yangky11-patch-1
yangky11-patch-1
April 11, 2024 00:57 21s
Update getting-started.rst Black Code Formatter #527: Commit 65f1fc4 pushed by yangky11
April 11, 2024 00:57 23s yangky11-patch-1
yangky11-patch-1
April 11, 2024 00:57 23s
Merge branch 'main' of https://github.com/lean-dojo/LeanDojo Black Code Formatter #526: Commit a226f9f pushed by yangky11
April 4, 2024 22:15 22s v1.8.0
v1.8.0
April 4, 2024 22:15 22s
Merge branch 'main' of https://github.com/lean-dojo/LeanDojo Black Code Formatter #525: Commit a226f9f pushed by yangky11
April 4, 2024 22:13 23s main
main
April 4, 2024 22:13 23s
Merge pull request #147 from fzyzcjy/patch-1 Black Code Formatter #524: Commit 8953c45 pushed by yangky11
April 4, 2024 21:42 22s main
main
April 4, 2024 21:42 22s
re-generate data Black Code Formatter #522: Commit 6710e06 pushed by yangky11
March 24, 2024 18:42 23s main
main
March 24, 2024 18:42 23s
fix docs Black Code Formatter #521: Commit 78cee9d pushed by yangky11
March 22, 2024 02:05 20s main
main
March 22, 2024 02:05 20s
Tiny change to support Python 3.11 Black Code Formatter #520: Pull request #147 opened by fzyzcjy
March 18, 2024 08:49 22s fzyzcjy:patch-1
fzyzcjy:patch-1
March 18, 2024 08:49 22s
format code Black Code Formatter #519: Commit 9e50187 pushed by yangky11
March 16, 2024 02:12 24s main
main
March 16, 2024 02:12 24s
re-run ipynb Black Code Formatter #518: Commit 18d41b7 pushed by yangky11
March 16, 2024 02:05 22s v1.7.1
v1.7.1
March 16, 2024 02:05 22s
minor fix Black Code Formatter #517: Commit 929923e pushed by yangky11
March 15, 2024 01:16 21s main
main
March 15, 2024 01:16 21s