Skip to content

Actions: lean-dojo/LeanDojo

Actions

Black Code Formatter

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
format_code.yaml
299 workflow runs
299 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix assertions Black Code Formatter #488: Commit 6ba53ae pushed by yangky11
February 20, 2024 22:22 23s dev
dev
February 20, 2024 22:22 23s
Merge branch 'main' into dev Black Code Formatter #487: Commit fdd3313 pushed by yangky11
February 19, 2024 18:09 27s dev
dev
February 19, 2024 18:09 27s
Merge pull request #135 from lean-dojo/legacy Black Code Formatter #486: Commit 2956298 pushed by yangky11
February 19, 2024 18:07 20s v1.6.0
v1.6.0
February 19, 2024 18:07 20s
bump to v1.6.0 Black Code Formatter #485: Pull request #135 opened by yangky11
February 19, 2024 18:05 18s legacy
legacy
February 19, 2024 18:05 18s
Merge pull request #135 from lean-dojo/legacy Black Code Formatter #484: Commit 2956298 pushed by yangky11
February 19, 2024 18:04 18s main
main
February 19, 2024 18:04 18s
bump to v1.6.0 Black Code Formatter #483: Commit 60c9339 pushed by yangky11
February 19, 2024 18:04 23s legacy
legacy
February 19, 2024 18:04 23s
Merge pull request #133 from lean-dojo/reduce-memory-usage Black Code Formatter #482: Commit a11836a pushed by yangky11
February 19, 2024 18:01 18s legacy
legacy
February 19, 2024 18:01 18s
Merge pull request #133 from lean-dojo/reduce-memory-usage Black Code Formatter #481: Commit a11836a pushed by yangky11
February 19, 2024 17:59 21s main
main
February 19, 2024 17:59 21s
[WIP] Bump with Lean v4.6.0-rc1 Black Code Formatter #480: Pull request #134 opened by Peiyang-Song
February 9, 2024 20:06 19s peiyang-dev
peiyang-dev
February 9, 2024 20:06 19s
Bump with Lean v4.6.0-rc1 Black Code Formatter #479: Commit e3ac808 pushed by Peiyang-Song
February 9, 2024 19:57 20s peiyang-dev
peiyang-dev
February 9, 2024 19:57 20s
Reduce memory usage Black Code Formatter #478: Pull request #133 opened by yangky11
February 9, 2024 17:19 23s reduce-memory-usage
reduce-memory-usage
February 9, 2024 17:19 23s
minor fix Black Code Formatter #477: Commit 6131b45 pushed by yangky11
February 9, 2024 17:18 22s reduce-memory-usage
reduce-memory-usage
February 9, 2024 17:18 22s
undo Black Code Formatter #476: Commit 22a6e03 pushed by yangky11
February 9, 2024 15:26 23s reduce-memory-usage
reduce-memory-usage
February 9, 2024 15:26 23s
format code Black Code Formatter #475: Commit 2bf18e5 pushed by yangky11
February 9, 2024 14:08 20s reduce-memory-usage
reduce-memory-usage
February 9, 2024 14:08 20s
reformat Black Code Formatter #474: Commit 271d356 pushed by yangky11
February 3, 2024 17:06 23s main
main
February 3, 2024 17:06 23s
reformat code Black Code Formatter #473: Commit d0c5142 pushed by yangky11
February 3, 2024 16:47 21s main
main
February 3, 2024 16:47 21s
"python3" -> "python" Black Code Formatter #472: Commit 59401e6 pushed by yangky11
February 3, 2024 16:20 21s main
main
February 3, 2024 16:20 21s
bump to 1.5.1 Black Code Formatter #471: Commit 3a24f05 pushed by yangky11
January 21, 2024 20:38 19s v1.5.1
v1.5.1
January 21, 2024 20:38 19s
bump to 1.5.1 Black Code Formatter #470: Commit 3a24f05 pushed by yangky11
January 21, 2024 20:37 18s main
main
January 21, 2024 20:37 18s
remove python3.10 syntax for type union Black Code Formatter #469: Commit d371459 pushed by yangky11
January 21, 2024 20:36 24s main
main
January 21, 2024 20:36 24s
fix mathlib lemma node Black Code Formatter #468: Commit 48a1f35 pushed by yangky11
January 19, 2024 23:10 22s main
main
January 19, 2024 23:10 22s
re-generate data Black Code Formatter #467: Commit 58888a8 pushed by yangky11
January 19, 2024 14:42 25s main
main
January 19, 2024 14:42 25s
bump version Black Code Formatter #466: Commit 989b997 pushed by yangky11
January 18, 2024 19:50 25s main
main
January 18, 2024 19:50 25s
add missing mathlib lemmas Black Code Formatter #465: Commit ab59210 pushed by yangky11
January 18, 2024 19:39 23s main
main
January 18, 2024 19:39 23s
Merge pull request #128 from albertqjiang/main Black Code Formatter #464: Commit bab35fa pushed by yangky11
January 18, 2024 15:05 19s v1.5.0
v1.5.0
January 18, 2024 15:05 19s
ProTip! You can narrow down the results and go further in time using created:<2024-01-18 or the other filters available.