8000 Workflow runs · lean-dojo/LeanDojo · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: lean-dojo/LeanDojo

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
304 workflow runs
304 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

minor fix Black Code Formatter #763: Commit 3bbc4c0 pushed by yangky11
June 13, 2025 16:25 16s v4.20.0
v4.20.0
June 13, 2025 16:25 16s
minor fix Black Code Formatter #762: Commit 3bbc4c0 pushed by yangky11
June 13, 2025 03:24 15s 10000 main
main
June 13, 2025 03:24 15s
minor fix Typechecker #309: Commit 3bbc4c0 pushed by yangky11
June 13, 2025 03:24 49s main
main
June 13, 2025 03:24 49s
Merge pull request #244 from lean-dojo/v4.20.0 Black Code Formatter #761: Commit 11fa690 pushed by yangky11
June 13, 2025 03:21 18s main
main
June 13, 2025 03:21 18s
Merge pull request #244 from lean-dojo/v4.20.0 Typechecker #308: Commit 11fa690 pushed by yangky11
June 13, 2025 03:21 57s main
main
June 13, 2025 03:21 57s
v4.20.0 Typechecker #307: Pull request #244 opened by yangky11
June 13, 2025 03:21 51s v4.20.0
v4.20.0
June 13, 2025 03:21 51s
v4.20.0 Black Code Formatter #760: Pull request #244 opened by yangky11
June 13, 2025 03:21 15s v4.20.0
v4.20.0
June 13, 2025 03:21 15s
fixed Black Code Formatter #759: Commit aa0a37a pushed by yangky11
June 13, 2025 03:21 19s v4.20.0
v4.20.0
June 13, 2025 03:21 19s
Merge pull request #243 from lean-dojo/v4.20.0 Black Code Formatter #758: Commit d55044b pushed by yangky11
June 10, 2025 02:39 17s main
main
June 10, 2025 02:39 17s
Merge pull request #243 from lean-dojo/v4.20.0 Typechecker #306: Commit d55044b pushed by yangky11
June 10, 2025 02:39 49s main
main
June 10, 2025 02:39 49s
bump to v4.20.0 Typechecker #305: Pull request #243 opened by yangky11
June 10, 2025 02:39 51s v4.20.0
v4.20.0
June 10, 2025 02:39 51s
bump to v4.20.0 Black Code Formatter #757: Pull request #243 opened by yangky11
June 10, 2025 02:39 18s v4.20.0
v4.20.0
June 10, 2025 02:39 18s
bump to v4.20.0 Black Code Formatter #756: Commit f3aeff4 pushed by yangky11
June 10, 2025 02:39 21s v4.20.0
v4.20.0
June 10, 2025 02:39 21s
Merge pull request #241 from rbtz-openai/rbtz/showBuildErrors Typechecker #304: Commit a599471 pushed by yangky11
May 28, 2025 01:45 57s main
main
May 28, 2025 01:45 57s
Merge pull request #241 from rbtz-openai/rbtz/showBuildErrors Black Code Formatter #755: Commit a599471 pushed by yangky11
May 28, 2025 01:45 18s main
main
May 28, 2025 01:45 18s
trace: show ExtractData build errors Typechecker #303: Pull request #241 opened by rbtz-openai
May 23, 2025 19:26 55s rbtz-openai:rbtz/showBuildErrors
rbtz-openai:rbtz/showBuildErrors
May 23, 2025 19:26 55s
trace: show ExtractData build errors Black Code Formatter #754: Pull request #241 opened by rbtz-openai
May 23, 2025 19:26 18s rbtz-openai:rbtz/showBuildErrors
rbtz-openai:rbtz/showBuildErrors
May 23, 2025 19:26 18s
Merge pull request #240 from lean-dojo/dev Black Code Formatter #753: Commit a6826d5 pushed by yangky11
May 18, 2025 18:37 19s main
main
May 18, 2025 18:37 19s
Merge pull request #240 from lean-dojo/dev Typechecker #302: Commit a6826d5 pushed by yangky11
May 18, 2025 18:37 53s main
main
May 18, 2025 18:37 53s
Bugfixes Black Code Formatter #752: Pull request #240 opened by yangky11
May 18, 2025 18:37 17s dev
dev
May 18, 2025 18:37 17s
Bugfixes Typechecker #301: Pull request #240 opened by yangky11
May 18, 2025 18:37 49s dev
dev
May 18, 2025 18:37 49s
Merge pull request #238 from sorgfresser/patch-2 Black Code Formatter #751: Commit d3caacf pushed by yangky11
May 18, 2025 18:24 16s dev
dev
May 18, 2025 18:24 16s
Fix toml parsing Black Code Formatter #750: Pull request #238 synchronize by sorgfresser
May 12, 2025 14:37 15s sorgfresser:patch-2
sorgfresser:patch-2
May 12, 2025 14:37 15s
Fix toml parsing Typechecker #300: Pull request #238 synchronize by sorgfresser
May 12, 2025 14:37 58s sorgfresser:patch-2
sorgfresser:patch-2
May 12, 2025 14:37 58s
Fix toml parsing Typechecker #299: Pull request #238 opened by sorgfresser
May 8, 2025 13:13 47s sorgfresser:patch-2
sorgfresser:patch-2
May 8, 2025 13:13 47s
0