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

Merge pull request #167 from lean-dojo/v1.9.0 Black Code Formatter #562: Commit 4d61bdd pushed by yangky11
May 28, 2024 03:12 19s v1.9.0
v1.9.0
May 28, 2024 03:12 19s
Merge pull request #167 from lean-dojo/v1.9.0 Black Code Formatter #561: Commit 4d61bdd pushed by Peiyang-Song
May 28, 2024 01:29 21s main
main
May 28, 2024 01:29 21s
fix the bug related to relative paths Black Code Formatter #560: Pull request #167 opened by yangky11
May 28, 2024 00:13 22s v1.9.0
v1.9.0
May 28, 2024 00:13 22s
fix the bug related to relative paths Black Code Formatter #559: Commit 80ad4a0 pushed by yangky11
May 28, 2024 00:13 26s v1.9.0
v1.9.0
May 28, 2024 00:13 26s
Merge pull request #166 from lean-dojo/v1.9.0 Black Code Formatter #558: Commit 6d18448 pushed by Peiyang-Song
May 27, 2024 05:03 23s main
main
May 27, 2024 05:03 23s
V1.9.0 Black Code Formatter #557: Pull request #166 opened by yangky11
May 26, 2024 03:04 19s v1.9.0
v1.9.0
May 26, 2024 03:04 19s
Support lakefile.toml and bump to v1.9.0 Black Code Formatter #556: Commit f836eb4 pushed by yangky11
May 26, 2024 03:03 24s v1.9.0
v1.9.0
May 26, 2024 03:03 24s
V1.8.3 Black Code Formatter #555: Pull request #164 opened by yangky11
May 13, 2024 02:35 19s v1.8.3
v1.8.3
May 13, 2024 02:35 19s
v1.8.3 Black Code Formatter #554: Commit 089f97d pushed by yangky11
May 13, 2024 02:34 19s v1.8.3
v1.8.3
May 13, 2024 02:34 19s
Merge branch 'main' of https://github.com/lean-dojo/LeanDojo Black Code Formatter #553: Commit f5a62bf pushed by yangky11
May 11, 2024 18:55 19s main
main
May 11, 2024 18:55 19s
Merge pull request #163 from lean-dojo/yangky11-patch-4 Black Code Formatter #552: Commit 8b2bffc pushed by yangky11
April 29, 2024 18:48 20s main
main
April 29, 2024 18:48 20s
Update README.md Black Code Formatter #551: Pull request #163 opened by yangky11
April 29, 2024 18:48 20s yangky11-patch-4
yangky11-patch-4
April 29, 2024 18:48 20s
Update README.md Black Code Formatter #550: Commit 399970f pushed by yangky11
April 29, 2024 18:48 24s yangky11-patch-4
yangky11-patch-4
April 29, 2024 18:48 24s
Merge pull request #162 from pitmonticone/main Black Code Formatter #549: Commit 5650bf6 pushed by yangky11
April 28, 2024 22:38 22s main
main
April 28, 2024 22:38 22s
Fix typo in notebook Black Code Formatter #548: Pull request #162 opened by pitmonticone
April 28, 2024 21:49 22s pitmonticone:main
pitmonticone:main
April 28, 2024 21:49 22s
remove get_namespaces Black Code Formatter #547: Commit f8f4c8e pushed by yangky11
April 26, 2024 02:06 20s main
main
April 26, 2024 02:06 20s
Delete scripts/generate-benchmark-lean3.ipynb Black Code Formatter #546: Commit d2b5903 pushed by yangky11
April 26, 2024 02:03 19s main
main
April 26, 2024 02:03 19s
Delete scripts/demo-lean3.ipynb Black Code Formatter #545: Commit 9f9592e pushed by yangky11
April 26, 2024 02:02 28s main
main
April 26, 2024 02:02 28s
add types-psutil Black Code Formatter #544: Commit 405513a pushed by yangky11
April 16, 2024 14:39 20s main
main
April 16, 2024 14:39 20s
minor fix Black Code Formatter #543: Commit 8cf0a7b pushed by yangky11
April 16, 2024 14:34 21s main
main
April 16, 2024 14:34 21s
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