Skip to content

Actions: LeanMachineLearning/LML

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,524 workflow runs
1,524 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 #774: Pull request #103 synchronize by RemyDegenne
15m 8s sgd
sgd
15m 8s
Update Dependencies Update Dependencies #80: Scheduled
3m 40s main
main
3m 40s
Stochastic gradient descent Compile blueprint #773: Pull request #103 synchronize by RemyDegenne
4m 19s sgd
sgd
4m 19s
Stochastic gradient descent Compile blueprint #772: Pull request #103 synchronize by RemyDegenne
16m 28s sgd
sgd
16m 28s
Update Dependencies Update Dependencies #79: Scheduled
11s main
main
11s
Update Dependencies Update Dependencies #78: Scheduled
3m 29s main
main
3m 29s
Update Dependencies Update Dependencies #77: Scheduled
11s main
main
11s
Random sampling Compile blueprint #770: Pull request #154 synchronize by RemyDegenne
14m 52s gaetanserre:randomSampling
gaetanserre:randomSampling
14m 52s
Stochastic gradient descent Compile blueprint #769: Pull request #103 synchronize by RemyDegenne
14m 33s sgd
sgd
14m 33s
Stochastic gradient descent Compile blueprint #768: Pull request #103 synchronize by RemyDegenne
44s sgd
sgd
44s
Stochastic gradient descent Compile blueprint #767: Pull request #103 synchronize by RemyDegenne
5m 30s sgd
sgd
5m 30s
Bump mathlib dependency to 0ee7df2 (#166) Compile blueprint #766: Commit ae44721 pushed by RemyDegenne
1h 3m 11s main
main
1h 3m 11s
replace measurableArgmax by argmax (#153) Compile blueprint #765: Commit d7168d5 pushed by RemyDegenne
48s main
main
48s
Bump mathlib dependency to 0ee7df2 Compile blueprint #764: Pull request #166 synchronize by github-actions Bot
13m 49s hopscotch/lkg-bump
hopscotch/lkg-bump
13m 49s
Update Dependencies Update Dependencies #76: Scheduled
3m 26s main
main
3m 26s
Update Dependencies Update Dependencies #75: Scheduled
11s main
main
11s
replace measurableArgmax by argmax Compile blueprint #763: Pull request #153 synchronize by gaetanserre
15m 58s gaetanserre:argmax
gaetanserre:argmax
15m 58s
replace measurableArgmax by argmax Compile blueprint #762: Pull request #153 synchronize by gaetanserre
8m 54s gaetanserre:argmax
gaetanserre:argmax
8m 54s
replace measurableArgmax by argmax Compile blueprint #761: Pull request #153 synchronize by gaetanserre
9s gaetanserre:argmax
gaetanserre:argmax
9s
replace measurableArgmax by argmax Compile blueprint #760: Pull request #153 synchronize by gaetanserre
5m 8s gaetanserre:argmax
gaetanserre:argmax
5m 8s
replace measurableArgmax by argmax Compile blueprint #759: Pull request #153 synchronize by gaetanserre
10s gaetanserre:argmax
gaetanserre:argmax
10s
Bump mathlib dependency to 0ee7df2 Compile blueprint #753: Pull request #166 opened by github-actions Bot
16m 9s hopscotch/lkg-bump
hopscotch/lkg-bump
16m 9s
Update Dependencies Update Dependencies #74: Scheduled
3m 30s main
main
3m 30s
linUCB Compile blueprint #750: Pull request #113 synchronize by FawadHa1der
12m 46s FawadHa1der:issue-112
FawadHa1der:issue-112
12m 46s
linUCB Compile blueprint #744: Pull request #113 synchronize by FawadHa1der
2m 41s FawadHa1der:issue-112
FawadHa1der:issue-112
2m 41s
ProTip! You can narrow down the results and go further in time using created:<2026-06-26 or the other filters available.