Skip to content

Actions: LeanMachineLearning/LML

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,511 workflow runs
1,511 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
Add the LIPO and RankOpt global optimization algorithms Compile blueprint #928: Pull request #216 synchronize by gaetanserre
13m 43s gaetanserre:decision_optimization
gaetanserre:decision_optimization
13m 43s
Add the LIPO and RankOpt global optimization algorithms Compile blueprint #927: Pull request #216 synchronize by gaetanserre
5m 26s gaetanserre:decision_optimization
gaetanserre:decision_optimization
5m 26s
Add the LIPO and RankOpt global optimization algorithms Compile blueprint #926: Pull request #216 opened by gaetanserre
1m 27s gaetanserre:decision_optimization
gaetanserre:decision_optimization
1m 27s
Fix Mathlib deprecation warnings (#215) Compile blueprint #925: Commit 8544313 pushed by RemyDegenne
1h 1m 3s main
main
1h 1m 3s
Fix Mathlib deprecation warnings Compile blueprint #924: Pull request #215 opened by gaetanserre
14m 57s gaetanserre:warnings
gaetanserre:warnings
14m 57s
Bump mathlib dependency to 2db45d1 (#214) Compile blueprint #923: Commit 2cf8f3b pushed by RemyDegenne
57m 47s main
main
57m 47s
Bump mathlib dependency to 2db45d1 Compile blueprint #922: Pull request #214 synchronize by github-actions Bot
10m 56s hopscotch/lkg-bump
hopscotch/lkg-bump
10m 56s
Update Dependencies Update Dependencies #293: Scheduled
3m 35s main
main
3m 35s
Bump mathlib dependency to 2db45d1 Compile blueprint #921: Pull request #214 synchronize by github-actions Bot
30d 0h 5m 30s hopscotch/lkg-bump
hopscotch/lkg-bump
30d 0h 5m 30s
Update Dependencies Update Dependencies #292: Scheduled
3m 54s main
main
3m 54s
Update Dependencies Update Dependencies #291: Scheduled
16s main
main
16s
Stochastic gradient descent Compile blueprint #920: Pull request #103 synchronize by RemyDegenne
17m 17s sgd
sgd
17m 17s
Stochastic gradient descent Compile blueprint #919: Pull request #103 synchronize by RemyDegenne
2m 7s sgd
sgd
2m 7s
Stochastic gradient descent Compile blueprint #918: Pull request #103 synchronize by RemyDegenne
16m 24s sgd
sgd
16m 24s
Stochastic gradient descent Compile blueprint #917: Pull request #103 synchronize by RemyDegenne
5m 33s sgd
sgd
5m 33s
Stochastic gradient descent Compile blueprint #916: Pull request #103 synchronize by RemyDegenne
4m 11s sgd
sgd
4m 11s
Update Dependencies Update Dependencies #290: Scheduled
11s main
main
11s
Bump mathlib dependency to 2db45d1 Compile blueprint #915: Pull request #214 synchronize by github-actions Bot
30d 0h 3m 25s hopscotch/lkg-bump
hopscotch/lkg-bump
30d 0h 3m 25s
Update Dependencies Update Dependencies #289: Scheduled
3m 45s main
main
3m 45s
Update Dependencies Update Dependencies #288: Scheduled
13s main
main
13s
Bump mathlib dependency to 2db45d1 Compile blueprint #914: Pull request #214 synchronize by github-actions Bot
30d 0h 0m 7s hopscotch/lkg-bump
hopscotch/lkg-bump
30d 0h 0m 7s
Update Dependencies Update Dependencies #287: Scheduled
3m 41s main
main
3m 41s
Update Dependencies Update Dependencies #286: Scheduled
13s main
main
13s
Bump mathlib dependency to 2db45d1 Compile blueprint #913: Pull request #214 synchronize by github-actions Bot
30d 0h 3m 45s hopscotch/lkg-bump
hopscotch/lkg-bump
30d 0h 3m 45s
Update Dependencies Update Dependencies #285: Scheduled
3m 44s main
main
3m 44s
ProTip! You can narrow down the results and go further in time using created:<2026-08-18 or the other filters available.