Skip to content

Actions: LeanMachineLearning/LML

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,527 workflow runs
1,527 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Stochastic gradient descent Compile blueprint #585: Pull request #103 synchronize by RemyDegenne
4m 13s sgd
sgd
4m 13s
Stochastic gradient descent Compile blueprint #584: Pull request #103 synchronize by RemyDegenne
2m 45s sgd
sgd
2m 45s
Update to latest Mathlib (#118) Create Release #12: Commit 3cb76ba pushed by RemyDegenne
16s main
main
16s
Update to latest Mathlib (#118) Compile blueprint #583: Commit 3cb76ba pushed by RemyDegenne
55m 21s main
main
55m 21s
Update to latest Mathlib Compile blueprint #582: Pull request #118 opened by RemyDegenne
11m 54s bump
bump
11m 54s
Update Dependencies Update Dependencies #1: Manually run by RemyDegenne
18s main
main
18s
Change update workflow (#116) Compile blueprint #581: Commit c81745d pushed by RemyDegenne
31m 43s main
main
31m 43s
Change update workflow Compile blueprint #580: Pull request #116 opened by RemyDegenne
15m 59s bump
bump
15m 59s
Update create-release workflow (#115) Compile blueprint #579: Commit f969e28 pushed by RemyDegenne
13m 57s main
main
13m 57s
Update create-release workflow Compile blueprint #578: Pull request #115 opened by RemyDegenne
10m 43s bump
bump
10m 43s
Update to 4.30.0 (#114) Compile blueprint #577: Commit 5bc2048 pushed by RemyDegenne
8m 20s main
main
8m 20s
Update to 4.30.0 (#114) Create Release #11: Commit 5bc2048 pushed by RemyDegenne
9s main
main
9s
Update to 4.30.0 Compile blueprint #576: Pull request #114 synchronize by RemyDegenne
11m 9s bump
bump
11m 9s
linUCB Compile blueprint #575: Pull request #113 synchronize by FawadHa1der
11m 38s FawadHa1der:issue-112
FawadHa1der:issue-112
11m 38s
Update to 4.30.0 Compile blueprint #574: Pull request #114 synchronize by RemyDegenne
19m 10s bump
bump
19m 10s
Update to 4.30.0 Compile blueprint #573: Pull request #114 synchronize by RemyDegenne
17m 51s bump
bump
17m 51s
Update to 4.30.0 Compile blueprint #572: Pull request #114 synchronize by RemyDegenne
17m 53s bump
bump
17m 53s
Update to 4.30.0 Compile blueprint #571: Pull request #114 synchronize by RemyDegenne
17m 52s bump
bump
17m 52s
Update to 4.30.0 Compile blueprint #570: Pull request #114 opened by RemyDegenne
18m 41s bump
bump
18m 41s
linUCB Compile blueprint #569: Pull request #113 synchronize by FawadHa1der
11m 8s FawadHa1der:issue-112
FawadHa1der:issue-112
11m 8s
linUCB Compile blueprint #568: Pull request #113 synchronize by FawadHa1der
9m 26s FawadHa1der:issue-112
FawadHa1der:issue-112
9m 26s
github_actions in /. - Update #1393248186 Dependabot Updates #17: by dependabot Bot
39s main
main
39s
Add several global optimization algorithms Compile blueprint #566: Pull request #87 synchronize by gaetanserre
9m 21s gaetanserre:opti
gaetanserre:opti
9m 21s
Add several global optimization algorithms Compile blueprint #565: Pull request #87 synchronize by gaetanserre
9m 21s gaetanserre:opti
gaetanserre:opti
9m 21s
Add several global optimization algorithms Compile blueprint #564: Pull request #87 synchronize by gaetanserre
7m 26s gaetanserre:opti
gaetanserre:opti
7m 26s
ProTip! You can narrow down the results and go further in time using created:<2026-05-29 or the other filters available.