Skip to content

Actions: lean-dojo/LeanDojo

Actions

Typechecker

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
type_check.yaml
19 workflow runs
19 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Update README to indicate LeanDojo is deprecated Typechecker #312: Commit 7a9f600 pushed by Robertboy18
57s main
main
57s
Merge pull request #251 from operagxsasha/patch-1 Typechecker #311: Commit 4759096 pushed by yangky11
57s main
main
57s
minor fix Typechecker #309: Commit 3bbc4c0 pushed by yangky11
49s main
main
49s
Merge pull request #244 from lean-dojo/v4.20.0 Typechecker #308: Commit 11fa690 pushed by yangky11
57s main
main
57s
v4.20.0 Typechecker #307: Pull request #244 opened by yangky11
51s v4.20.0
v4.20.0
51s
Merge pull request #243 from lean-dojo/v4.20.0 Typechecker #306: Commit d55044b pushed by yangky11
49s main
main
49s
bump to v4.20.0 Typechecker #305: Pull request #243 opened by yangky11
51s v4.20.0
v4.20.0
51s
Merge pull request #241 from rbtz-openai/rbtz/showBuildErrors Typechecker #304: Commit a599471 pushed by yangky11
57s main
main
57s
trace: show ExtractData build errors Typechecker #303: Pull request #241 opened by rbtz-openai
55s rbtz-openai:rbtz/showBuildErrors
rbtz-openai:rbtz/showBuildErrors
55s
Merge pull request #240 from lean-dojo/dev Typechecker #302: Commit a6826d5 pushed by yangky11
53s main
main
53s
Bugfixes Typechecker #301: Pull request #240 opened by yangky11
49s dev
dev
49s
Fix toml parsing Typechecker #300: Pull request #238 synchronize by sorgfresser
58s sorgfresser:patch-2
sorgfresser:patch-2
58s
Fix toml parsing Typechecker #299: Pull request #238 opened by sorgfresser
47s sorgfresser:patch-2
sorgfresser:patch-2
47s
Merge pull request #226 from jsimonrichard/simon/dojo-cache-option Typechecker #298: Commit fb0dcc1 pushed by yangky11
51s main
main
51s
bump to v4.19.0 Typechecker #297: Commit b6411d8 pushed by yangky11
47s main
main
47s
Merge branch 'main' of github.com:lean-dojo/LeanDojo Typechecker #296: Commit 82f74d4 pushed by yangky11
49s main
main
49s
Allow arbitrary python 3.12 versions Typechecker #295: Pull request #236 opened by sorgfresser
50s sorgfresser:patch-1
sorgfresser:patch-1
50s
Update README.md Typechecker #294: Commit 0b535f4 pushed by yangky11
46s main
main
46s
Update getting-started.rst Typechecker #293: Commit 5f98088 pushed by yangky11
57s main
main
57s