Skip to content

Actions: lean-dojo/LeanDojo

Actions

Black Code Formatter

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
format_code.yaml
399 workflow runs
399 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

bugfix Black Code Formatter #729: Commit efaa04e pushed by yangky11
December 8, 2024 17:07 20s v2.2.0
v2.2.0
December 8, 2024 17:07 20s
bugfix Black Code Formatter #728: Commit efaa04e pushed by yangky11
December 8, 2024 17:00 20s main
main
December 8, 2024 17:00 20s
minor update Black Code Formatter #727: Commit ac13697 pushed by yangky11
December 4, 2024 20:53 21s main
main
December 4, 2024 20:53 21s
minor updates Black Code Formatter #726: Commit fe8ee85 pushed by yangky11
December 3, 2024 16:57 19s main
main
December 3, 2024 16:57 19s
allow submodule for local type Black Code Formatter #725: Pull request #206 synchronize by RexWzh
December 3, 2024 14:21 25s Lean-zh:main
Lean-zh:main
December 3, 2024 14:21 25s
v2.1.3 Black Code Formatter #724: Commit b832856 pushed by yangky11
October 13, 2024 22:39 20s v2.1.3
v2.1.3
October 13, 2024 22:39 20s
v2.1.3 Black Code Formatter #723: Commit b832856 pushed by yangky11
October 13, 2024 22:35 22s main
main
October 13, 2024 22:35 22s
fix LakeMain.lean Black Code Formatter #722: Commit ab13370 pushed by yangky11
October 6, 2024 20:47 21s main
main
October 6, 2024 20:47 21s
remove unnecessary line Black Code Formatter #720: Commit fed54c2 pushed by yangky11
September 19, 2024 03:30 20s main
main
September 19, 2024 03:30 20s
minor update Black Code Formatter #718: Commit 7f66e93 pushed by yangky11
September 18, 2024 14:53 22s main
main
September 18, 2024 14:53 22s
minor fix Black Code Formatter #717: Commit 6db9fc7 pushed by yangky11
September 18, 2024 02:03 20s main
main
September 18, 2024 02:03 20s
minor fix Black Code Formatter #716: Commit cef522f pushed by yangky11
September 18, 2024 01:56 19s main
main
September 18, 2024 01:56 19s
allow submodule for local type Black Code Formatter #714: Pull request #206 opened by RexWzh
September 11, 2024 01:39 25s Lean-zh:main
Lean-zh:main
September 11, 2024 01:39 25s
update Black Code Formatter #713: Commit c1efbf6 pushed by yangky11
September 6, 2024 13:05 24s main
main
September 6, 2024 13:05 24s
bugfix Black Code Formatter #712: Commit 6d0795a pushed by yangky11
September 4, 2024 16:58 25s main
main
September 4, 2024 16:58 25s
Merge pull request #205 from realharryhero/main Black Code Formatter #711: Commit 8b7792a pushed by yangky11
September 3, 2024 04:08 22s main
main
September 3, 2024 04:08 22s
Fix(typing): mypy errors Black Code Formatter #709: Pull request #204 synchronize by AntiKnot
August 30, 2024 01:44 25s AntiKnot:fix-mypy-errors
AntiKnot:fix-mypy-errors
August 30, 2024 01:44 25s
update Black Code Formatter #708: Commit 9f4d398 pushed by yangky11
August 29, 2024 21:32 22s dev
dev
August 29, 2024 21:32 22s
Merge pull request #198 from lean-dojo/dev Black Code Formatter #705: Commit 9b19df9 pushed by yangky11
August 15, 2024 02:32 20s v2.1.2
v2.1.2
August 15, 2024 02:32 20s
Merge pull request #198 from lean-dojo/dev Black Code Formatter #704: Commit 9b19df9 pushed by yangky11
August 15, 2024 02:31 21s main
main
August 15, 2024 02:31 21s
minor bugfix Black Code Formatter #703: Pull request #198 opened by yangky11
August 15, 2024 02:30 22s dev
dev
August 15, 2024 02:30 22s
minor bugfix Black Code Formatter #702: Commit dfb5f31 pushed by yangky11
August 15, 2024 02:30 24s dev
dev
August 15, 2024 02:30 24s
Merge pull request #197 from lean-dojo/dev Black Code Formatter #701: Commit ee58ed9 pushed by yangky11
August 14, 2024 17:38 18s main
main
August 14, 2024 17:38 18s
fix minor bug Black Code Formatter #700: Pull request #197 opened by yangky11
August 14, 2024 17:38 20s dev
dev
August 14, 2024 17:38 20s
fix minor bug Black Code Formatter #699: Commit dc755b9 pushed by yangky11
August 14, 2024 17:38 20s dev
dev
August 14, 2024 17:38 20s