Skip to content

Actions: lean-dojo/LeanDojo

Actions

Black Code Formatter

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
format_code.yaml
36 workflow runs
36 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #251 from operagxsasha/patch-1 Black Code Formatter #765: Commit 4759096 pushed by yangky11
21s main
main
21s
minor fix Black Code Formatter #763: Commit 3bbc4c0 pushed by yangky11
16s v4.20.0
v4.20.0
16s
minor fix Black Code Formatter #762: Commit 3bbc4c0 pushed by yangky11
15s main
main
15s
Merge pull request #244 from lean-dojo/v4.20.0 Black Code Formatter #761: Commit 11fa690 pushed by yangky11
18s main
main
18s
v4.20.0 Black Code Formatter #760: Pull request #244 opened by yangky11
15s v4.20.0
v4.20.0
15s
fixed Black Code Formatter #759: Commit aa0a37a pushed by yangky11
19s v4.20.0
v4.20.0
19s
Merge pull request #243 from lean-dojo/v4.20.0 Black Code Formatter #758: Commit d55044b pushed by yangky11
17s main
main
17s
bump to v4.20.0 Black Code Formatter #757: Pull request #243 opened by yangky11
18s v4.20.0
v4.20.0
18s
bump to v4.20.0 Black Code Formatter #756: Commit f3aeff4 pushed by yangky11
21s v4.20.0
v4.20.0
21s
Merge pull request #241 from rbtz-openai/rbtz/showBuildErrors Black Code Formatter #755: Commit a599471 pushed by yangky11
18s main
main
18s
trace: show ExtractData build errors Black Code Formatter #754: Pull request #241 opened by rbtz-openai
18s rbtz-openai:rbtz/showBuildErrors
rbtz-openai:rbtz/showBuildErrors
18s
Merge pull request #240 from lean-dojo/dev Black Code Formatter #753: Commit a6826d5 pushed by yangky11
19s main
main
19s
Bugfixes Black Code Formatter #752: Pull request #240 opened by yangky11
17s dev
dev
17s
Merge pull request #238 from sorgfresser/patch-2 Black Code Formatter #751: Commit d3caacf pushed by yangky11
16s dev
dev
16s
Fix toml parsing Black Code Formatter #750: Pull request #238 synchronize by sorgfresser
15s sorgfresser:patch-2
sorgfresser:patch-2
15s
Fix toml parsing Black Code Formatter #749: Pull request #238 opened by sorgfresser
19s sorgfresser:patch-2
sorgfresser:patch-2
19s
Merge pull request #226 from jsimonrichard/simon/dojo-cache-option Black Code Formatter #748: Commit fb0dcc1 pushed by yangky11
18s main
main
18s
Merge pull request #236 from sorgfresser/patch-1 Black Code Formatter #747: Commit e2cabb5 pushed by yangky11
17s dev
dev
17s
merge Black Code Formatter #746: Commit c7be82a pushed by yangky11
16s dev
dev
16s
Merge branch 'dev' of github.com:lean-dojo/LeanDojo into dev Black Code Formatter #745: Commit d66e28d pushed by yangky11
17s dev
dev
17s
bump to v4.19.0 Black Code Formatter #744: Commit b6411d8 pushed by yangky11
16s main
main
16s
Merge branch 'main' of github.com:lean-dojo/LeanDojo Black Code Formatter #743: Commit 82f74d4 pushed by yangky11
18s main
main
18s
Allow arbitrary python 3.12 versions Black Code Formatter #742: Pull request #236 opened by sorgfresser
18s sorgfresser:patch-1
sorgfresser:patch-1
18s
Update README.md Black Code Formatter #741: Commit 0b535f4 pushed by yangky11
19s main
main
19s
Update getting-started.rst Black Code Formatter #740: Commit 5f98088 pushed by yangky11
21s main
main
21s