Skip to content

Actions: lean-dojo/LeanDojo

Actions

Black Code Formatter

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
format_code.yaml
316 workflow runs
316 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update user-guide.rst Black Code Formatter #611: Commit 9abcbdc pushed by Peiyang-Song
July 3, 2024 15:23 24s main
main
July 3, 2024 15:23 24s
Update limitations.rst Black Code Formatter #610: Commit 3158da2 pushed by Peiyang-Song
July 3, 2024 15:22 24s main
main
July 3, 2024 15:22 24s
Update developer-guide.rst Black Code Formatter #609: Commit ce0cee3 pushed by Peiyang-Song
July 3, 2024 15:19 23s main
main
July 3, 2024 15:19 23s
Update credits.rst Black Code Formatter #608: Commit e26bba3 pushed by Peiyang-Song
July 3, 2024 15:18 19s main
main
July 3, 2024 15:18 19s
Update index.rst Black Code Formatter #607: Commit 5be6a23 pushed by Peiyang-Song
July 3, 2024 15:16 19s main
main
July 3, 2024 15:16 19s
Merge pull request #176 from lean-dojo/kaiyu Black Code Formatter #606: Commit 1cf7d20 pushed by Peiyang-Song
July 3, 2024 15:03 20s main
main
July 3, 2024 15:03 20s
fix warnings in docs Black Code Formatter #605: Pull request #176 opened by yangky11
July 3, 2024 15:02 24s kaiyu
kaiyu
July 3, 2024 15:02 24s
fix warnings in docs Black Code Formatter #604: Commit 222648e pushed by yangky11
July 3, 2024 14:59 21s kaiyu
kaiyu
July 3, 2024 14:59 21s
Merge pull request #175 from lean-dojo/kaiyu Black Code Formatter #603: Commit d5e6547 pushed by Peiyang-Song
July 3, 2024 14:42 21s main
main
July 3, 2024 14:42 21s
Reduce the Initialization Time When Interacting with Lean Black Code Formatter #602: Pull request #175 synchronize by yangky11
July 2, 2024 19:45 19s kaiyu
kaiyu
July 2, 2024 19:45 19s
minor fix Black Code Formatter #601: Commit e8273e2 pushed by yangky11
July 2, 2024 19:45 19s kaiyu
kaiyu
July 2, 2024 19:45 19s
Reduce the Initialization Time When Interacting with Lean Black Code Formatter #600: Pull request #175 synchronize by yangky11
July 2, 2024 13:24 21s kaiyu
kaiyu
July 2, 2024 13:24 21s
re-run ipynb Black Code Formatter #599: Commit 35fd11b pushed by yangky11
July 2, 2024 13:24 20s kaiyu
kaiyu
July 2, 2024 13:24 20s
Reduce the Initialization Time When Interacting with Lean Black Code Formatter #598: Pull request #175 synchronize by yangky11
July 2, 2024 13:14 26s kaiyu
kaiyu
July 2, 2024 13:14 26s
update s3 url Black Code Formatter #597: Commit 3df9c79 pushed by yangky11
July 2, 2024 13:13 28s kaiyu
kaiyu
July 2, 2024 13:13 28s
Reduce the Initialization Time When Interacting with Lean Black Code Formatter #596: Pull request #175 synchronize by yangky11
July 2, 2024 01:21 19s kaiyu
kaiyu
July 2, 2024 01:21 19s
minor fix Black Code Formatter #595: Commit b5c1966 pushed by yangky11
July 2, 2024 01:20 21s kaiyu
kaiyu
July 2, 2024 01:20 21s
Reduce the Initialization Time When Interacting with Lean Black Code Formatter #594: Pull request #175 synchronize by yangky11
July 2, 2024 00:21 22s kaiyu
kaiyu
July 2, 2024 00:21 22s
re-run ipynb Black Code Formatter #593: Commit 8755cf2 pushed by yangky11
July 2, 2024 00:21 20s kaiyu
kaiyu
July 2, 2024 00:21 20s
Reduce the Initialization Time When Interacting with Lean Black Code Formatter #592: Pull request #175 synchronize by yangky11
July 1, 2024 15:14 19s kaiyu
kaiyu
July 1, 2024 15:14 19s
minor update Black Code Formatter #591: Commit 3ed1c1b pushed by yangky11
July 1, 2024 15:14 20s kaiyu
kaiyu
July 1, 2024 15:14 20s
Reduce the Initialization Time When Interacting with Lean Black Code Formatter #590: Pull request #175 synchronize by yangky11
July 1, 2024 14:39 23s kaiyu
kaiyu
July 1, 2024 14:39 23s
change email Black Code Formatter #589: Commit eb4e6d3 pushed by yangky11
July 1, 2024 14:39 20s kaiyu
kaiyu
July 1, 2024 14:39 20s
Reduce the Initialization Time When Interacting with Lean Black Code Formatter #588: Pull request #175 synchronize by yangky11
July 1, 2024 14:29 21s kaiyu
kaiyu
July 1, 2024 14:29 21s
minor fix Black Code Formatter #587: Commit cf6b43b pushed by yangky11
July 1, 2024 14:29 21s kaiyu
kaiyu
July 1, 2024 14:29 21s